Category Theory Foundations, Lecture 3

Steve Awodey - Category Theory Foundations, Lecture 3, Oregon Programming Languages Summer School 2012, University of Oregon

Homework excercises are available here: http://www.andrew.cmu.edu/user/awodey/SummerSchool/HW/

Topics covered in this lecture:
Naturality
Functor categories, presheaves (arrow categories, product categories, graphs)
Hom functors, Yoneda embedding, Yoneda lemma
Proofs using the Yoneda lemma

For more info about the summer school please visit http://www.cs.uoregon.edu/research/summerschool/summer12/