Category Theory 3.2: Kleisli category

Category Theory 3.2: Kleisli category

Category Theory for Programmers: Chapter 4 - Kleisli CategoriesSee more

Category Theory for Programmers: Chapter 4 - Kleisli Categories

Lambda World 2019 - A categorical view of computational effects - Emily RiehlSee more

Lambda World 2019 - A categorical view of computational effects - Emily Riehl

Making side-effects pure with a Kleisli category - Intro to Category Theory for ProgrammersSee more

Making side-effects pure with a Kleisli category - Intro to Category Theory for Programmers

Kleisli categoriesSee more

Kleisli categories

Kleisli categories and probability - 02 - The Kleisli category of a monadSee more

Kleisli categories and probability - 02 - The Kleisli category of a monad

Category Theory Part 2 of 3: FunctorsSee more

Category Theory Part 2 of 3: Functors

Category Theory II 3.2: Free MonoidsSee more

Category Theory II 3.2: Free Monoids

Category Theory Part 1 of 3: CategoriesSee more

Category Theory Part 1 of 3: Categories

Category Theory II 5.2: AdjunctionsSee more

Category Theory II 5.2: Adjunctions

Category Theory 3.1: Examples of categories, orders, monoidsSee more

Category Theory 3.1: Examples of categories, orders, monoids

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

Category Theory for Programmers: Chapter 3 - Categories Great and Small

News