010203040506070809101112131415161718
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:47Category Theory 4.2: Products
34:49Category Theory 4.1: Terminal and Initial Objects
47:47Category Theory 3.1: Examples of Categories, Orders, Monoids
48:26Category Theory 2.2: Monomorphisms, Simple Types
24:34Category Theory: Functions and Epimorphisms
46:14Category Theory: Defining a Category
48:18Category Theory: Defining a Category
An introductory yet rigorous exploration into the fundamental definition of a category, essential for understanding advanced topics in abstract algebra and theoretical computer science.