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.
No takes yet. Share an insight, caveat, or question.
Lingyuan Ye (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: