Intro to Categories and Functors by David Spivak

In the first hour, I'll discuss categories and functors and give a number of examples, relevant to CS (databases and programming languages) and a bit from pure math (e.g., sets). I'll have participants talk with a neighbor from time to time, to help each other digest the material and formulate questions together.