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

DOI10.1016/J.APAL.2009.05.001zbMath1179.18003arXiv0802.0097OpenAlexW2083599669MaRDI QIDQ732053

Isar Stubbe, Hans Heymans

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

zbMATH Keywords

quantaloidordered sheafprincipally generated moduleskew local homeomorphism

Mathematics Subject Classification ID

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

Related Items (4)

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

Cites Work

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

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