Steve Awodey - Category Theory Foundations, Lecture 2, 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:
Universal Mapping Property
Products, Coproducts (Examples: in Set, poset-categories)
Exponentials (Examples: in Set, Pos)
Cartesian Closed Categories (lambda calculus, CCC-completeness)
For more info about the summer school please visit http://www.cs.uoregon.edu/research/summerschool/summer12/