On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
From MaRDI portal
Publication:732053
DOI10.1016/J.APAL.2009.05.001zbMath1179.18003arXiv0802.0097OpenAlexW2083599669MaRDI QIDQ732053
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
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