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
Enterprise Haskell at H-E-B
The Haskell Programming Language's blog ·
Jul 16, 2026
Prism - An Impure Functional Language With Typed Effects
llimllib's notes ·
Jun 30, 2026
Haskell TLS Vulnerability Lets Attackers Forge Trusted Certificates (CVE-2026-9648)
Securityonline ·
Jun 16, 2026
AUTHOR