Universal pseudomorphisms, with applications to diagrammatic coherence for braided and symmetric monoidal functors

Nick Gurski, Niles Johnson

This work introduces a general theory of universal pseudomorphisms and develops their connection to diagrammatic coherence. The main results give hypotheses under which pseudomorph…