Mario Román

Home

❯

notes

❯

pieces

❯

Not every monoidal functor is naturally isomorphic to a strict one

Not every monoidal functor is naturally isomorphic to a strict one

Apr 29, 20251 min read

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.

not-every-monoidal-functor-is-naturally-isomorphic-to-a-strict-one

For reference, see this question at Stack Exchange.

  • Lax monoidal functor
  • Coherence for monoidal categories

Graph View

Mario Román, CC-BY-SA. Built with Quartz © 2025.

  • GitHub
  • ArXiv
  • OrcID