'Jeg har bestemt meg for at Yoneda-lemmaet er det vanskeligste trivielle i matematikk.' -- @sigfpe