David Spivak - Category Theory - Part 2 of 6 - λC 2017
1:00:22
David Spivak - Category Theory - Part 4 of 6 - λC 2017
38:32
ACT 2020 Tutorial: Introduction to Applied Category Theory (David Spivak)
43:49
F(by) 2017. Bartosz Milewski - A Crash Course in Category Theory.
58:40
Michael Snoyman - Web Programming and Streaming Data in Haskell - Part 1 of 2 - λC 2017
1:00:17
David Spivak - Category Theory - Part 5 of 6 - λC 2017
1:12:41
A Categorical View of Computational Effects
1:16:07
Lecture 1: Introduction to Superposition
1:36:54