HoTT/HoTT — pull request #421 by JasonGross (2014-07-24 21:17:37+00:00)
Title: Functorialize the yoneda lemma

Alas, I still don't really understand the Yoneda lemma.

Also, the proof is very long. I'd be happy if anyone could clean it up.