Elementary characterisation of small quantaloids of closed cribles

DOI10.1016/J.JPAA.2012.02.032zbMATH Open1279.18007arXiv1012.3870OpenAlexW2026087901MaRDI QIDQ456870FDOQ456870

Authors: Hans Heymans, Isar Stubbe 

Publication date: 16 October 2012

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

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.

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

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

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)

Cites Work

• Sheaves in geometry and logic: a first introduction to topos theory
• Title not available (Why is that?)
• Metric spaces, generalized logic, and closed categories
• Introduction to bicategories
• Cartesian bicategories. I
• Sheaves on sites as Cauchy-complete categories
• Sheaves on involutive quantaloids
• \(GL\)-quantales: \(Q\)-valued sets and their singletons
• ENRICHED CATEGORIES AND COHOMOLOGY
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Categorical structures enriched in a quantaloid: Orders and ideals over a base quantaloid
• Title not available (Why is that?)
• Quantales and their sheaves
• Generalized logic and the representation of rings
• Cartesian Bicategories II
• Title not available (Why is that?)

Cited In (5)

• 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
• Title not available (Why is that?)

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)