Q-modules are Q-suplattices
From MaRDI portal
Publication:3594564
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.
Recommendations
Cited in
(9)- Modules on involutive quantales: Canonical Hilbert structure, applications to sheaf theory
- On fuzzification of the notion of quantaloid
- Sheaves on involutive quantales: Grothendieck quantales.
- Grothendieck quantaloids for allegories of enriched categories
- Sheaves as modules
- On the metrical and quantalic versions of the \(\ast\)-autonomous category of sup-lattices
- Enriched Stone-type dualities
- On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
- Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
This page was built for publication: Q-modules are Q-suplattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3594564)