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 😛
Conversation
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
i’m owned by my past self from 2011 smh
mathoverflow.net/a/58498/290
1
1
i was thinking of this literal exact post nice
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
Replying to
i was doing pretty well until i stopped doing math regularly, but the good news is my blog posts and MO answers and stuff can remember for me