Category Theory Foundations, Lecture 1

Convert to MP3 for your device with YouTube MP3jam
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, 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

Post Comment
Thank you! Your comment is awaiting moderation.

More videos: