heades/monoidal-annex

Change synax in (co)lax monoidal functors definition

Closed this issue · 0 comments

heades commented

Instead of using m and m' using m and m_I where I is the unit.