Bartosz Milewski's Programming Cafe

The reason I bored you with the Yoneda equipment was to eventually double back to Tannakian reconstruction.

Working with double categories can be aptly summarized in a meme: Talk to me about sets without mentioning sets.

You may think of Tannakian Reconstruction as an example of redundant encoding.

Two friends, Alice and Bob, live in the same city, but on the opposite sides of a wide river.

I was originally attracted to category theory when trying to understand Haskell optics.

Previously: Kan Extensions in Double Categories.

Previously: Kan extensions in Haskell.

Previously: Tabulation Tribulations.

Previously: Bending, Yanking, and Cartesian Squares in Double Categories.

Previously: Profunctor Equipment in Haskell.

Previously: Profunctor Equipment.

The fundamental premise of category theory is that it’s possible to fully capture the nature of objects by describing their interactions with other objects of the same type.