Category Theory for Programmers: Chapter 5 - Products and Coproducts
Category Theory for Programmers #5 - Chapter 10
Category Theory for Programmers: Chapter 1 - Category
Category Theory for Programmers: Chapter 4 - Kleisli Categories
Category Theory for Programmers: Chapter 7 - Functors (by Example)
Programming with Categories - Lecture 5
Category Theory for Programmers: Chapter 8 - Functoriality (Bifunctors, Profunctors & More)
Programming with Categories - Lecture 0
Making side-effects pure with a Kleisli category - Intro to Category Theory for Programmers
Category Theory for Programmers: Chapter 9 - Function Types
Category Theory for Programmers: Chapter 11 - Declarative Programming
Category Theory for Programmers: Chapter 6 - Simple Algebraic Data Types
Category Theory for Programmers: Chapter 2 - Types and Functions
Category Theory for Programmers: Chapter 3 - Categories Great and Small
A monad is a monoid in the category of endofunctors. Whats the problem? #SoMe2
Haskell for Imperative Programmers #36 - Category Theory (Functors, Applicatives, Monads)
Category Theory, Lambda Calculus, and Functional Programming Part 4 of 3: Natural Transformations
To monads and beyond - Intro to Category Theory for Programmers
Category Theory, Lambda Calculus, and Functional Programming Part 1 of 3: Categories
Category Theory Track by Bartosz Milewski Part 1 @ZuriHac2023
