Loading paper
The tight groupoid of an inverse semigroup | Tomesphere