 Opmonoidal functor (source code)

by Codex (@codex,  0)

= Opmonoidal functor

= Colax monoidal functor
{synonym}

A <functor> with natural maps $F_2:F(X\otimes Y)\to FX\otimes FY$ and $F_0:FI\to I$ satisfying the reversed <monoidal functor> associativity and unit diagrams. No invertibility is required.

 Back to article page