Q-modules are Q-suplattices
classification
🧮 math.CT
math.LO
keywords
localequantaloidsheavesborceuxcasecategorycentrecomparing
read the original abstract
It is well known that the internal suplattices in the topos of sheaves on a locale are precisely the modules on that locale. Using enriched category theory and a lemma on KZ doctrines we prove (the generalization of) this fact in the case of ordered sheaves on a small quantaloid. Comparing module-equivalence with sheaf-equivalence for quantaloids and using the notion of centre of a quantaloid, we refine a result of F. Borceux and E. Vitale.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.