DUALITY THEORY FOR CATEGORICAL THEORIES
We have generalised the notion of categorical theory in model theory to the context of coherent theories. We prove a duality result between the full sub-2-category of pretopoi which are categorical, and the 2-category of profinite monoids. We also study the geometry of profinite monoids via the classifying topos construction, and show it identifies them as a full sub-2-category of the 2-category of topoi.
Authors
- Lingyuan Ye (ORCID: https://orcid.org/0000-0002-8983-0099)
Publication Details
- Journal
- Journal of Symbolic Logic
- Published
- 2026-10-30
- DOI
- https://doi.org/10.1017/jsl.2026.10278
- Primary Topic
- Advanced Topology and Set Theory
- Type
- article
- Field-Weighted Citation Impact
- 0.00