The home for great developer writing.

We surface the best developer writing from thousands of independent blogs, updated daily.

Kan Extensions in Double Categories

· Bartoszmilewski · June 13, 2026, 12:47 p.m.

Haskell Category theory Double Category Profunctors 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.

Read full post on bartoszmilewski.com →

MORE POSTS LIKE THIS

Tambara Equipment

Bartoszmilewski · Jul 11, 2026

Category theory Optics

Coherence and orphan instance rules

osa1.net - All posts · Aug 29, 2026

Typeclasses coherence

Code-Reviewing My First Monad Implementation

isovector · Aug 22, 2026

Haskell Monad Implementation

Purely functional digital circuit simulator (SICP 3.3)

Chris · Aug 5, 2026

programming Functional programming

A Revised Haskell 2010 Language Report

The Haskell Programming Language's blog · Aug 4, 2026

Haskell Programming Language Reports

An Old News Post, and 20 Years of Pandoc

Home on consequently.org · Aug 4, 2026

Haskell Pandoc

Discover more posts →

AUTHOR

Sponsored

Zulip

Organized team chat for people who take work seriously. Topic-based threading keeps conversations focused.

Become a sponsor →

BLOG POST FEATURED ON

Placeholder image

Add this plugin to your blog