Universal pseudomorphisms, with applications to diagrammatic coherence for braided and symmetric monoidal functorsArticle
Authors: Nick Gurski 1; Niles Johnson 2
0000-0001-9691-1981##0000-0002-4838-4651
Nick Gurski;Niles Johnson
1 Department of Mathematics, Applied Mathematics, and Statistics, Case Western Reserve University
2 Department of Mathematics, The Ohio State University Newark
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.