'Am decis că lema Yoneda este cel mai greu lucru trivial din matematică.' -- @sigfpe