'Ho deciso che il lemma di Yoneda è la cosa più difficile e triviale della matematica.' -- @sigfpe