Elementary characterisation of small quantaloids of closed cribles
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2010
- DOI:
- 10.48550/arXiv.1012.3870
- arXiv:
- arXiv:1012.3870
- Bibcode:
- 2010arXiv1012.3870H
- Keywords:
-
- Mathematics - Category Theory
- E-Print:
- 14 pages, final version