Can anyone explain to me Yoneda Lemma proof in great details? i.e. they usually say " ... it is easy to see that these morphisms are inverse to each other.." without explanation.
See this text of our friend Zev Chonoles:
Sign up using Google
Sign up using Facebook
Sign up using Stack Exchange
2 years ago