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: http://www.andrew.cmu.edu/user/awodey... Topics covered in this lecture: Definition of a category Examples of categories (Set, Pos, Mon, Cat, others...) Isomorphisms Constructions (functors, product categories, arrow categories, slice categories) Duality (opposite category, co- vs contravariant functors) Examples of duality (functors into exponentials, representable functors) For more info about the summer school please visit http://www.cs.uoregon.edu/research/su...