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.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2representative citing papers
CaMPL is a new functional concurrent language with category-theoretic semantics that guarantees deadlock and livelock freedom for formal programs without general recursion.
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.
-
Categorical Message Passing Language (CaMPL) for programmers
CaMPL is a new functional concurrent language with category-theoretic semantics that guarantees deadlock and livelock freedom for formal programs without general recursion.