Programming with Categories - Lecture 0
Programming with Categories - Lecture 1
Programming with Categories - Lecture 3
Programming with Categories - Lecture 17
Programming with Categories - Lecture 10
Teaser - Programming with Categories
Programming with Categories - Lecture 8
A monad is a monoid in the category of endofunctors. Whats the problem? #SoMe2
Programming with Categories - Lecture 15
Programming with Categories - Lecture 16
"Categories for the Working Hacker" by Philip Wadler
Programming with Categories - Lecture 14
Programming with Categories - Lecture 5
Programming with Categories - Lecture 12
Programming with Categories - Lecture 13
A Crash Course in Category Theory - Bartosz Milewski
Category Theory for Programmers: Chapter 1 - Category
Programming with Categories - Lecture 4
Programming with Categories - Lecture 7
Programming with Categories - Lecture 11
