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 89 followers
Latest posts
Last updated about 1 month ago
Profunctor Optics
about 1 month ago
You may think of Tannakian Reconstruction as an example of redundant encoding...
Tannakian reconstruction
about 1 month ago
Two friends, Alice and Bob, live in the same city, but on...
Tambara Equipment
about 1 month ago
I was originally attracted to category theory when trying to understand Haskell...
Actegories
about 2 months ago
Previously: Kan Extensions in Double Categories. In programming, actegories play a central...
Kan Extensions in Double Categories
2 months ago
Previously: Kan extensions in Haskell. In a double category that is also...
Kan Extensions in Haskell
3 months ago
Previously: Tabulation Tribulations. If you think of functor composition as a form...
Tabulation Tribulations
3 months ago
Previously: Bending, Yanking, and Cartesian Squares in Double Categories. We all know...
Bending, Yanking, and Cartesian Squares in Double Categories
3 months ago
Previously: Profunctor Equipment in Haskell. The major advantage of string diagrams is...
Profunctor Equipment in Haskell
3 months ago
Previously: Profunctor Equipment. To make things more palatable for programmers, I decided...
Profunctor Equipment
4 months ago
The fundamental premise of category theory is that it’s possible to fully...
The Axiom of Univalence
6 months ago
Previously: Modeling Identity Types. On first viewing, the identity type seems odd...
Modeling Identity Types
10 months ago
Previously: Identity Types. Let me first explain why the naive categorical model...