On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular

DOI10.1016/J.APAL.2009.05.001MaRDI QIDQ732053zbMATH OpenOpenAlexFDO

Publication date 9 October 2009

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0802.0097, https://hdl.handle.net/10067/945160151162165141

quantaloid ordered sheaf principally generated module skew local homeomorphism

Frames, locales (06D22) Eilenberg-Moore and Kleisli constructions for monads (18C20) Enriched categories (over closed or monoidal categories) (18D20) Quantales (06F07)

Abstract: Ordered sheaves on a small quantaloid Q have been defined in terms of Q-enriched categorical structures; they form a locally ordered category Ord(Q). The free-cocompletion KZ-doctrine on Ord(Q) has Mod(Q), the quantaloid of Q-modules, as category of Eilenberg-Moore algebras. In this paper we give an intrinsic description of the Kleisli algebras: we call them the 'locally principally generated Q-modules'. We deduce that Ord(Q) is biequivalent to the 2-category of locally principally generated Q-modules and left adjoint module morphisms. The example of locally principally generated modules on a locale X is worked out in full detail: relating X-modules to objects of the slice category Loc/X, we show that ordered sheaves on X correspond with 'skew local homeomorphisms into X' (like sheaves on X correspond with local homeomorphisms into X).

Recommendations

Cites work

Cited in

(5)

This page was built for publication: On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q732053)