'Ich habe beschlossen, dass das Yoneda-Lemma das schwierigste triviale Ding in der Mathematik ist.' -- @sigfpe