Showing math.CTShow all
2 papers · 1 filter
math.CT2026
Invertibility and parity in symmetric monoidal categories
Nick Gurski, Niles Johnson
We introduce a notion of parity for formal morphisms between invertible objects and use it to prove a corresponding coherence theorem. Parity is conceptually similar to the sign of…
math.CT2025
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…