Strictification of a monoidal functor

Last updated May 18, 2023

• Strictification of a monoidal category
• Strong monoidal functor