 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.