Categories and the essence of programming - Intro to Category Theory for Programmers

A Sensible Introduction to Category TheorySee more

What are types? - Intro to Category Theory for ProgrammersSee more

Category Theory for Programmers: Chapter 1 - CategorySee more

Programming with Categories - Lecture 0See more

Category Theory for Programmers: Chapter 9 - Function TypesSee more

The Language of Categories | Category Theory and Why We Care 1.1See more

Category Theory for Programmers: Chapter 3 - Categories Great and SmallSee more

Category Theory for Programmers: Chapter 4 - Kleisli CategoriesSee more

Category Theory for Programmers: Chapter 8 - Functoriality (Bifunctors, Profunctors & More)See more

Programming with Categories - Lecture 1See more

Category Theory for Programmers: Chapter 2 - Types and FunctionsSee more

Category Theory for Programmers: Chapter 11 - Declarative ProgrammingSee more

The Mathematician's Weapon | Category Theory and Why We Care 1.0See more

An Introduction to Category TheorySee more

Category Theory 1.1: Motivation and PhilosophySee more