Abstract: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.
| Comments: | 61 pages. Fixed cleveref issues |
| Subjects: | Category Theory (math.CT); General Topology (math.GN); Logic (math.LO) |
| MSC classes: | 03G30, 22A22, 06D22, 18F10 |
| Cite as: | arXiv:2605.20407 [math.CT] |
| (or arXiv:2605.20407v2 [math.CT] for this version) | |
| https://doi.org/10.48550/arXiv.2605.20407 arXiv-issued DOI via DataCite |
From: Graham Manuell [view email]
[v1]
Tue, 19 May 2026 19:03:46 UTC (63 KB)
[v2]
Thu, 21 May 2026 21:46:19 UTC (63 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。