Open Access
Translator Disclaimer
december 2012 Grothendieck quantaloids for allegories of enriched categories
Hans Heymans, Isar Stubbe
Bull. Belg. Math. Soc. Simon Stevin 19(5): 859-888 (december 2012). DOI: 10.36045/bbms/1354031554


For any small involutive quantaloid $\cal Q$ we define, in terms of symmetric quantaloid-enriched categories, an involutive quantaloid $\sf Rel(\cal Q)$ of $\cal Q$-sheaves and relations, and a category $\sf Sh(\cal Q)$ of $\cal Q$-sheaves and functions; the latter is equivalent to the category of symmetric maps in the former. We prove that $\sf Rel(\cal Q)$ is the category of relations in a topos if and only if $\cal Q$ is a modular, locally localic and weakly semi-simple quantaloid; in this case we call $\cal Q$ a Grothendieck quantaloid. It follows that $\sf Sh(\cal Q)$ is a Grothendieck topos whenever $\cal Q$ is a Grothendieck quantaloid. Any locale $L$ is a Grothendieck quantale, and $\sf Sh(L)$ is the topos of sheaves on $L$. Any small quantaloid of closed cribles is a Grothendieck quantaloid, and if $\cal Q$ is the quantaloid of closed cribles in a Grothendieck site $(\cal C,J)$ then $\sf Sh(\cal Q)$ is equivalent to the topos $\Sh(\cal C,J)$. Any inverse quantal frame is a Grothendieck quantale, and if $\cal O(G)$ is the inverse quantal frame naturally associated with an étale groupoid $G$ then $\sf Sh(\cal O(G))$ is the classifying topos of $G$.


Download Citation

Hans Heymans. Isar Stubbe. "Grothendieck quantaloids for allegories of enriched categories." Bull. Belg. Math. Soc. Simon Stevin 19 (5) 859 - 888, december 2012.


Published: december 2012
First available in Project Euclid: 27 November 2012

zbMATH: 1285.18014
MathSciNet: MR3009020
Digital Object Identifier: 10.36045/bbms/1354031554

Primary: 06F07 , 18B10 , 18B25 , 18D05 , 18D20

Keywords: allegory , enriched category , Quantale , quantaloid , topos

Rights: Copyright © 2012 The Belgian Mathematical Society


Vol.19 • No. 5 • december 2012
Back to Top