Elementary characterisation of small quantaloids of closed cribles

DOI10.1016/J.JPAA.2012.02.032MaRDI QIDQ456870zbMATH OpenOpenAlexFDO

Authors Hans Heymans, Isar Stubbe

Publication date 16 October 2012

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

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

zbMATH Keywords

Grothendieck topologyclosed criblessmall quantaloidsmall site

Mathematics Subject Classification ID

Grothendieck topologies and Grothendieck topoi (18F10) Enriched categories (over closed or monoidal categories) (18D20) Quantales (06F07) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Abstract: Each small site (C,J) determines a small quantaloid of closed cribles R(C,J). We prove that a small quantaloid Q is equivalent to R(C,J) for some small site (C,J) if and only if there exists a (necessarily subcanonical) Grothendieck topology J on the category Map(Q) of left adjoints in Q such that Q=R(Map(Q),J), if and only if Q is locally localic, map- discrete, weakly tabular and weakly modular. If moreover coreflexives split in Q, then the topology J on Map(Q) is the canonical topology.

Recommendations

• Grothendieck quantaloids for allegories of enriched categories
• Free quantaloids
• Categories enriched over a quantaloid: algebras
• Sheaves on quantaloids
• scientific article; zbMATH DE number 5054860

Cites work

• scientific article; zbMATH DE number 3809805 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 2172965 (Why is no real title available?)
• scientific article; zbMATH DE number 764339 (Why is no real title available?)
• scientific article; zbMATH DE number 896756 (Why is no real title available?)
• scientific article; zbMATH DE number 5054860 (Why is no real title available?)
• Cartesian Bicategories II
• Cartesian bicategories. I
• Categorical structures enriched in a quantaloid: Orders and ideals over a base quantaloid
• ENRICHED CATEGORIES AND COHOMOLOGY
• Generalized logic and the representation of rings
• Introduction to bicategories
• Metric spaces, generalized logic, and closed categories
• Quantales and their sheaves
• Sheaves in geometry and logic: a first introduction to topos theory
• Sheaves on involutive quantaloids
• Sheaves on sites as Cauchy-complete categories
• \(GL\)-quantales: \(Q\)-valued sets and their singletons

Cited in

(5)

• scientific article; zbMATH DE number 7731060 (Why is no real title available?)
• An introduction to quantaloid-enriched categories
• Sheaves on involutive quantales: Grothendieck quantales.
• Grothendieck quantaloids for allegories of enriched categories
• Chu connections and back diagonals between \(\mathcal{Q}\)-distributors

This page was built for publication: Elementary characterisation of small quantaloids of closed cribles

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