Bartosz Milewski's Programming Cafe

Tabulation Tribulations

Bending, Yanking, and Cartesian Squares in Double Categories

Profunctor Equipment in Haskell

Profunctor Equipment

The Axiom of Univalence

Modeling Identity Types

Modeling Identity Types

Identity Types

Identity Types

Models of (Dependent) Type Theory

Models of (Dependent) Type Theory

(Weak) Factorization Systems

(Weak) Factorization Systems

(Weak) Homotopy Equivalences

(Weak) Homotopy Equivalences

Fibrations and Cofibrations

Fibrations and Cofibrations

Subfunctor Classifier

Subfunctor Classifier

Subobject Classifier

Subobject Classifier

Understanding Attention in LLMs

Understanding Attention in LLMs

Legalizing Comonad Composition

Legalizing Comonad Composition

Sieves and Sheaves