Choose how you want to continue.
By continuing, you agree to our Privacy Policy.
Kan Extensions in Double Categories
Category theory
Double Category
Haskell
Kan extensions
Haskell
Category theory
Proarrow Equipment
Double Categories
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
Yoneda Lemma in Double Categories
Bartoszmilewski ·
Sep 13, 2026
Haskell Language Server 2.15.0.0 release
The Haskell Programming Language's blog ·
Oct 21, 2026
AUTHOR