Coherence for braided and symmetric pseudomonoids
Category Theory
2018-12-04 v3 Formal Languages and Automata Theory
Quantum Algebra
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.
Keywords
Cite
@article{arxiv.1705.09354,
title = {Coherence for braided and symmetric pseudomonoids},
author = {Dominic Verdon},
journal= {arXiv preprint arXiv:1705.09354},
year = {2018}
}
Comments
Linked Globular workspace at http://globular.science/1705.001v2