Remix.run Logo
arketyp 5 hours ago

There is a way to frame category theory such that it's all just arrows -- by associating the identity arrow (which all objects have by definition) with the object itself. In a sense, the object is syntactic sugar.

nineteen999 an hour ago | parent [-]

This is obvious within about 3 seconds of opening the article, noticing it's filled with coloured M&M's, and closing it again.