Category Theory for Programmers: Chapter 1 - Category
Category Theory for Programmers #1 - Chapters 1 to 3
Programming with Categories - Lecture 0
Category Theory Track by Bartosz Milewski Part 1 @ZuriHac2023
A Pragmatic Introduction to Category Theory - Daniela Sfregola
Category Theory for Programmers: Chapter 2 - Types and Functions
Programming with Categories - Lecture 1
Making side-effects pure with a Kleisli category - Intro to Category Theory for Programmers
Tutorial on Category Theory: Part 1 – Pure and Classical
Category Theory for Programmers by Bartosz Milewski (with Haskell and C++ examples)
Categories and the essence of programming - Intro to Category Theory for Programmers
Category Theory for Programmers: Chapter 9 - Function Types
Category Theory for Programmers: Chapter 5 - Products and Coproducts
Functors: using functions in containers - Intro to Category Theory for Programmers
To monads and beyond - Intro to Category Theory for Programmers
3 01 A Functional Programmer's Guide to Homotopy Type Theory
A monad is a monoid in the category of endofunctors. Whats the problem? #SoMe2
Programming and Category Theory
Category Theory for Programmers: Chapter 3 - Categories Great and Small
Category Theory Overview - Bartosz Milewski - Day 1
