looking at the unique morphism 1->M in the Lawvere theory of monoids and thinking "wow the absolute unit"
1
4
29
Conversation
Replying to
go to your room and think about what you’ve done
also you want the free monoidal category on a monoid maybe, the lawvere theory only knows what a monoid in a cartesian monoidal category is 😛
1
1
Show replies