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
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
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
like I could go more general but nothing feels quite right. The free monoidal category on a unital magma? prolly better but no longer carries the right emotional weight...
1
1
nah free monoidal category on a monoid is where it’s at imo. cute demonstration of the macrocosm principle plus it should work out to be something familiar, i worked this out awhile ago and totally forgot the answer
1
1
it's the augmented simplex category! this is really important it's what makes lots of stuff work, e.g. anytime you have a (co)monad you can turn it into a [co]simplicial endofunctor...
2
1
oh shit right i used to know that lol smh
1
1
im actually 100% certain I've seen you talk about this in some MO answer lmao
1
1
also i guess i need to have the emotional realization that im not the only one who constantly forgets everything i used to know lmaoooo
1
1
Show replies