Category Theory Foundations, Lecture 1

Steve Awodey Category Theory Foundations, Lecture 1, Oregon Programming Languages Summer School 2012, University of Oregon Homework excercises are available here: Topics covered in this lecture: Definition of a category Examples of categories (Set, Pos, Mon, Cat, Isomorphisms Constructions (functors, product categories, arrow categories, slice categories) Duality (opposite category, co vs contravariant functors) Examples of duality (func