'Jag har bestämt att Yoneda-lemmat är det svåraste triviala inom matematiken.' -- @sigfpe