chloe!@schala163·Jun 20, 2020looking at the unique morphism 1->M in the Lawvere theory of monoids and thinking "wow the absolute unit"1429
QC (in Berlin 7/29-??? w/ COVID )@QiaochuYuan·Jun 20, 2020go to your room and think about what you’ve done14
QC (in Berlin 7/29-??? w/ COVID )@QiaochuYuan·Jun 20, 2020also you want the free monoidal category on a monoid maybe, the lawvere theory only knows what a monoid in a cartesian monoidal category is 😛11
chloe!@schala163·Jun 20, 2020OKAY I'VE ACTUALLY had this joke in my brain for multiple years and not been satisfied enough to say it for EXACTLY THAT REASON21
QC (in Berlin 7/29-??? w/ COVID )@QiaochuYuanReplying to @schala163relatable10:37 PM · Jun 20, 2020·Twitter for iPad1 Like