Choose how you want to continue.
Kan Extensions in Double Categories
Category theory
Double Category
Haskell
Kan extensions
Haskell
Kan extensions
Double Categories
Proarrow Equipment
Summary
This post discusses Kan extensions in the context of double categories and proarrow equipment in Haskell, exploring how vertical arrows can be replaced with their horizontal counterparts to define aspects of right Kan extensions.
MORE POSTS LIKE THIS
Purely functional digital circuit simulator (SICP 3.3)
Chris ·
Aug 5, 2026
A Revised Haskell 2010 Language Report
The Haskell Programming Language's blog ·
Aug 4, 2026
AUTHOR