Mario Román


Search IconIcon to open search

Not every monoidal functor is naturally isomorphic to a strict one

Last updated May 18, 2023

We would hope that every monoidal functor could be “strictified”: that is, made into a naturally isomorphic strict monoidal functor. However, this is not true, and it fails very easily for any non-strict monoidal category.


For reference, see this question at Stack Exchange.