Strict monoidal functor
= Strict monoidal functor
A <strong monoidal functor> whose comparison maps are identities. It preserves the tensor, unit and structural constraints exactly; its source need not be a <strict monoidal category>.
= Strict monoidal functor
A <strong monoidal functor> whose comparison maps are identities. It preserves the tensor, unit and structural constraints exactly; its source need not be a <strict monoidal category>.