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...)
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
this shot has navigated right into my heart.
sublime =) love the use of background image and shade!
your mom, however, was good in bed last night.
Thank you! Your comment is awaiting moderation.