Diagrammatics for lax and Frobenius monoidal functors and weak morphism classifiers

Alexis Langlois-Rémillard, Mateusz Stroiński

The theory of 2-monads entails that, for a strict monoidal category C, there is a strict monoidal category L(C) such that strict monoidal functors from L(C) are precisely the lax m…