//
010203040506070809101112
Category Theory 9.1: Natural Transformations
51:27Category Theory 6.1: Functors
54:10Category Theory 3.2: Kleisli Category
41:58Category Theory 1.1: Motivation and Philosophy
46:46Bicategories in Category Theory
43:04Type Algebra and the Curry-Howard-Lambek Isomorphism
20:56Function Objects and Exponentials in Category Theory
45:25Monoidal Categories, Functoriality of ADTs, and Profunctors
49:15Category Theory 7.1: Functoriality and Bifunctors
56:32Category Theory 6.2: Functors in Programming
51:36Category Theory 5.2: Algebraic Data Types
33:14Category Theory 5.1: Coproducts and Sum Types
36:47