azulas i brushed my teeth i had a sudden sense of deja vu, like i had just brushed my teeth moments before.
i think i accidentally brushed my teeth twice because i was thinking about cartesian products. 😔 audhd moment??
Jade Master@typeswitch Should have thought about non-Cartesian monoidal products because then you would have only been able to brush your teeth once :p (since you will not have a duplication morphism allowing the same action to be performed twice haha get it)