4 ms·
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 obje
by arketyp 5mo 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 5mo agoThis is obvious within about 3 seconds of opening the article, noticing it's filled with coloured M&M's, and closing it again.