Choose how you want to continue.
Kan Extensions in Haskell
Category theory
Haskell
programming
Kan extensions
Haskell
Kan extensions
Functor composition
type theory
Summary
This blog post explores the concept of Kan extensions in Haskell, drawing an analogy between functor composition and multiplication, and discussing the complexities involved in inverses of this composition. It delves into the ideas of precomposition and postcomposition in the context of Haskell's type system.
MORE POSTS LIKE THIS
Prism - An Impure Functional Language With Typed Effects
llimllib's notes ·
Jun 30, 2026
Call for lightning talks: Haskell Symposium 2026
Lindsey Kuper ·
Jul 22, 2026
AUTHOR