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

DOI10.1016/J.APAL.2009.05.001zbMATH Open1179.18003arXiv0802.0097OpenAlexW2083599669MaRDI QIDQ732053FDOQ732053

Authors: Hans Heymans, Isar Stubbe 

Publication date: 9 October 2009

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

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).

Full work available at URL: https://arxiv.org/abs/0802.0097

Recommendations

• Q-modules are Q-suplattices
• Categorical structures enriched in a quantaloid: Orders and ideals over a base quantaloid
• Sheaves as modules
• Sheaves on quantaloids
• Modules in the category of sheaves over quantales

zbMATH Keywords

quantaloidordered sheafprincipally generated moduleskew local homeomorphism

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Sheaves in geometry and logic: a first introduction to topos theory
• Title not available (Why is that?)
• An extension of the Galois theory of Grothendieck
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The closure of a class of colimits
• Categorical structures enriched in a quantaloid: tensored and cotensored categories
• Title not available (Why is that?)
• Metric spaces, generalized logic, and closed categories
• Introduction to bicategories
• Title not available (Why is that?)
• Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
• Variation through enrichment
• Sheaves on sites as Cauchy-complete categories
• Sheaves on involutive quantaloids
• Modules on involutive quantales: Canonical Hilbert structure, applications to sheaf theory
• ENRICHED CATEGORIES AND COHOMOLOGY
• Title not available (Why is that?)
• Quantales and (noncommutative) linear logic
• Q-modules are Q-suplattices
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Quantales, observational logic and process semantics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the quantisation of points
• Categorical structures enriched in a quantaloid: Orders and ideals over a base quantaloid
• \(\mathcal Q\)-\(*\)-categories
• Étale groupoids and their quantales
• Sheaves as modules
• Enrichment through variation
• Title not available (Why is that?)
• Quantaloids for concurrency
• The point of pointless topology
• Epistemic Actions as Resources
• Title not available (Why is that?)
• Quantales and their sheaves
• A noncommutative theory of Penrose tilings
• Relative functor categories and categories of algebras
• Title not available (Why is that?)
• An algebraic generalization of Kripke structures
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modules in the category of sheaves over quantales

Cited In (5)

• An introduction to quantaloid-enriched categories
• Sheaves on involutive quantales: Grothendieck quantales.
• Groupoid sheaves as quantale sheaves
• Modules on involutive quantales: Canonical Hilbert structure, applications to sheaf theory
• Q-modules are Q-suplattices

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)