Universal pseudomorphisms, with applications to diagrammatic coherence for braided and symmetric monoidal functors
Category Theory
2025-07-02 v2 Quantum Algebra
Abstract
This work introduces a general theory of universal pseudomorphisms and develops their connection to diagrammatic coherence. The main results give hypotheses under which pseudomorphism coherence is equivalent to the coherence theory of strict algebras. Applications include diagrammatic coherence for plain, symmetric, and braided monoidal functors. The final sections include a variety of examples.
Keywords
Cite
@article{arxiv.2312.11261,
title = {Universal pseudomorphisms, with applications to diagrammatic coherence for braided and symmetric monoidal functors},
author = {Nick Gurski and Niles Johnson},
journal= {arXiv preprint arXiv:2312.11261},
year = {2025}
}
Comments
68 pages