Category Theory 3.2: Kleisli category
47:47
Category Theory 4.1: Terminal and initial objects
46:14
Category Theory 2.1: Functions, epimorphisms
18:12
Category Theory for Programmers: Chapter 4 - Kleisli Categories
54:10
Category Theory 6.1: Functors
48:26
Category Theory 3.1: Examples of categories, orders, monoids
57:56
Category Theory For Beginners: Introduction
51:49
The joy of abstract mathematical thinking - with Eugenia Cheng
24:34