Natural Transformations Articles

Page 1 of 1 (2 articles)

6/8/2026 • EN

Kan Extensions in Haskell

Explores Kan extensions in Haskell, defining right Kan extensions and their adjunctions with categorical foundations.

Adjunctions Functor Composition Haskell Kan Extensions Natural Transformations

Bartosz Milewski

4/24/2026 • EN

Profunctor Equipment

Explores profunctors in category theory, defining them as heteromorphisms between categories and their role in a double category combining functors and profunctors.

2 Categories Category Theory Functors Natural Transformations Profunctors

Bartosz Milewski

Natural Transformations Articles

Kan Extensions in Haskell

Profunctor Equipment

Select Language

We use cookies