looking at the unique morphism 1->M in the Lawvere theory of monoids and thinking "wow the absolute unit"
1
4
29
Conversation
go to your room and think about what you’ve done
1
4
Replying to
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 😛
Replying to
OKAY I'VE ACTUALLY had this joke in my brain for multiple years and not been satisfied enough to say it for EXACTLY THAT REASON
2
1