加载中…
The theory of 2-monads entails that, for a strict monoidal category C, there is a strict monoidal category L© such that strict monoidal functors from L© are precisely the lax monoidal functors from C. We give an elementary, diagrammatic, construction of L© and of its variants for oplax and Frobenius lax functors. The diagrams used are analogous to the diagrammatics for lax monoidal functors studied by McCurdy.

生成讲解博客的中文版本

生成AI智能校验的中文版本