Loading paper
Functoriality of groupoid quantales. II | Tomesphere