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.
Articles by others on the same topic
There are currently no matching articles.