pith. sign in

arxiv: 0809.4343 · v1 · submitted 2008-09-25 · 🧮 math.CT · math.LO

Q-modules are Q-suplattices

classification 🧮 math.CT math.LO
keywords localequantaloidsheavesborceuxcasecategorycentrecomparing
0
0 comments X
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.