Loading paper
A universal property for groupoid C*-algebras. I | Tomesphere