Bartosz Milewski's Programming Cafe

Models of (Dependent) Type Theory

(Weak) Factorization Systems

(Weak) Homotopy Equivalences

Fibrations and Cofibrations

Subfunctor Classifier

Subobject Classifier

Understanding Attention in LLMs

Legalizing Comonad Composition

Sieves and Sheaves

Covering Sieves

Sheaves as Virtual Objects