Everything you care about in one place
Follow feeds: blogs, news, RSS and more. An effortless way to read and digest content of your choice.
Get Feederbartoszmilewski.com
Bartosz Milewski's Programming Cafe
Get the latest updates from Bartosz Milewski's Programming Cafe directly as they happen.
Follow now 68 followers
Latest posts
Last updated 11 days ago
Kan Extensions in Double Categories
11 days ago
Previously: Kan extensions in Haskell. In a double category that is also...
Kan Extensions in Haskell
16 days ago
Previously: Tabulation Tribulations. If you think of functor composition as a form...
Tabulation Tribulations
about 1 month ago
Previously: Bending, Yanking, and Cartesian Squares in Double Categories. We all know...
Bending, Yanking, and Cartesian Squares in Double Categories
about 1 month ago
Previously: Profunctor Equipment in Haskell. The major advantage of string diagrams is...
Profunctor Equipment in Haskell
about 1 month ago
Previously: Profunctor Equipment. To make things more palatable for programmers, I decided...
Profunctor Equipment
2 months ago
The fundamental premise of category theory is that it’s possible to fully...
The Axiom of Univalence
4 months ago
Previously: Modeling Identity Types. On first viewing, the identity type seems odd...
Modeling Identity Types
8 months ago
Previously: Identity Types. Let me first explain why the naive categorical model...
Identity Types
9 months ago
Previously: Models of (Dependent) Type Theory. There is a deep connection between...
Models of (Dependent) Type Theory
10 months ago
Previously: (Weak) Factorization Systems. It’s been known since Lambek that typed lambda...
(Weak) Factorization Systems
11 months ago
Previously (Weak) Homotopy Equivalences. An average function between sets, is neither surjective...
(Weak) Homotopy Equivalences
about 1 year ago
Previously: Fibrations and Cofibrations. In topology, we say that two shapes are...