Coherence for braided and symmetric pseudomonoids

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.

Linked Globular workspace at http://globular.science/1705.001v2

References in corpus (4)

• Towards 3-Dimensional Rewriting Theory
• Extended 3-dimensional bordism as the theory of modular objects
• Stable Postnikov data of Picard 2-categories
• A Constructive Proof of Coherence for Symmetric Monoidal Categories Using Rewriting

Cited by in corpus (2)

• A Braided Lambda Calculus
• Promonads and String Diagrams for Effectful Categories