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.
Coherence for braided and symmetric pseudomonoids
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
Presentations for unbraided, braided and symmetric pseudomonoids are defined. Biequivalences characterising the semistrict bicategories generated by these presentations are proven. It is shown that these biequivalences categorify results in the theory of monoids and commutative monoids, and generalise standard coherence theorems for braided and symmetric monoidal categories.
fields
math.CT 1years
2026 1verdicts
UNVERDICTED 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.