Commit 2020-09-18 09:43 953a5dc0

View on Github →

feat(category_theory/monoidal): monoid objects are just lax monoidal functors from punit (#4121)

Estimated changes