as 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??

#teethgang

@typeswitch cartesian products do allow duplication, it's true

@typeswitch Brushing teeth twice is ok. I lost count on the trains I missed, or metro stops just because I was thinking of something else.

Once I had lunch twice because I forgot about the first one

@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)