Bartosz Milewski on Nostr: Of course it all depends on the definition of "interesting." Yoneda lemma is ...

Of course it all depends on the definition of "interesting." Yoneda lemma is definitely interesting as it's used, directly or indirectly, in almost every proof in category theory. So the level on interesting could be measured using an algorithm not unlike Google page rank.