Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
No, strict monoidal categories are the strict algebras for a different strict 2-monad, but there is also a strict 2-monad whose strict algebras are non-strict monoidal categories.
(This is said in the next sentence.)
added pointer to:
Fixed a broken link in the reference:
1 to 5 of 5