Generalizes categorical theories to coherent theories and proves a duality identifying the 2-category of categorical pretopoi with profinite monoids, further realizing the latter as a full sub-2-category of topoi via classifying topos.
First order categorical logic : model-theoretical methods in the theory of topoi and related categories , edition =
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
method 1
citation-polarity summary
fields
math.CT 1years
2026 1verdicts
UNVERDICTED 1roles
method 1polarities
use method 1representative citing papers
citing papers explorer
-
Duality theory for categorical theories
Generalizes categorical theories to coherent theories and proves a duality identifying the 2-category of categorical pretopoi with profinite monoids, further realizing the latter as a full sub-2-category of topoi via classifying topos.