Coherence for braided and symmetric pseudomonoids
classification
🧮 math.CT
cs.FLmath.QA
keywords
braidedsymmetricbiequivalencescoherencemonoidspresentationspseudomonoidsbicategories
read the original 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.
This paper has not been read by Pith yet.
Forward citations
Cited by 1 Pith paper
-
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 ...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.