First the NASLLI Lecture Notes Introduction to Category Theory, The website of North American Summer school on Logic, Language and Information in Austin, Texas, 2012 is http://nasslli2012.com/courses/introduction-to-category-theory.
Lecture 2 https://www.youtube.com/watch?
Lecture 3 https://www.youtube.com/watch?
Lecture 4 https://www.youtube.com/watch?
Lecture 5 https://www.youtube.com/watch?
Then a lecture on Modal Type Theory in Natal, at NAT@log
A tribute to Sol Feferman https://www.youtube.com/
A PARC Forum Talk: Adventures in Searchland
CLiCS: CATEGORIAL LOGIC IN COMPUTER SCIENCE: WHERE DO WE STAND NOW? - Valeria de Paiva, Palo Alto Research Center, discusses Categorical Logica, a branch of Category Theory, a newer subfield of Algebra, established in the late forties/ early fifties by Eilengerg and MacLane. De Paiva will discuss the exciting possibilities for applcation in theretical computer science from a very personal perspective. M*A*T*H* Colloquium Lecture Series. 4 p.m. Weds., March 4. Darwin 103. http://www.sonoma.edu/math/