I watched several of these on the plane, up to 2.2 Monomorphisms & simple types. The first talk is some nice philosophy, and the subsequent ones make category theory seem easier than I expected. Perhaps category theory is like monads that way?