Generic bundles over a localic category
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914589857284096 |
|---|---|
| author | Manuell, Graham Wrigley, Joshua L. |
| author_facet | Manuell, Graham Wrigley, Joshua L. |
| contents | In this paper we construct classifying localic categories and groupoids for various bundles equipped with logical structure. When these bundles are local homeomorphisms, we recover the localic groupoids that classify geometric theories, demonstrating that these groupoids satisfy a stronger universal property than that of their corresponding classifying toposes. We also prove a dual result that there exist classifying localic categories and groupoids for proper separated bundles satisfying a dual geometric theory. Thus, localic groupoids classify strictly more kinds of logical theories than toposes. Our approach provides a concrete construction of the localic categories and the generic bundles involved in terms of generalised frame presentations. To accommodate our approach, we prove en passant a constructive, pointfree version of the Alexandroff--Hausdorff theorem and that internal functors that are fully faithful and effective descent morphisms on objects induce equivalences between the categories of discrete opfibrations over the source and target categories. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_20407 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Generic bundles over a localic category Manuell, Graham Wrigley, Joshua L. Category Theory General Topology Logic 03G30, 22A22, 06D22, 18F10 In this paper we construct classifying localic categories and groupoids for various bundles equipped with logical structure. When these bundles are local homeomorphisms, we recover the localic groupoids that classify geometric theories, demonstrating that these groupoids satisfy a stronger universal property than that of their corresponding classifying toposes. We also prove a dual result that there exist classifying localic categories and groupoids for proper separated bundles satisfying a dual geometric theory. Thus, localic groupoids classify strictly more kinds of logical theories than toposes. Our approach provides a concrete construction of the localic categories and the generic bundles involved in terms of generalised frame presentations. To accommodate our approach, we prove en passant a constructive, pointfree version of the Alexandroff--Hausdorff theorem and that internal functors that are fully faithful and effective descent morphisms on objects induce equivalences between the categories of discrete opfibrations over the source and target categories. |
| title | Generic bundles over a localic category |
| topic | Category Theory General Topology Logic 03G30, 22A22, 06D22, 18F10 |
| url | https://arxiv.org/abs/2605.20407 |