Half the fucking obstruction to understanding the Yoneda lemma is how every single reference doesn’t bother stating it in terms of functor natural isomorphisms. Like do you really, absolutely, need a c in picrel when omitting it would make it crystal clear that this is a natural isomorphism of functors rather than an isomorphism of objects?