Talk:Monoidal functor

From Wikipedia, the free encyclopedia

The map from I to FI in the definition is just a morphism (which may, of course, be viewed as a natural transformation between constant functors, but that seems a bit overkill).

I think I am going to have to change it myself if no one else will. What do you think?