logoalt Hacker News

arketyptoday at 7:59 AM1 replyview on HN

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.


Replies

nineteen999today at 12:11 PM

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