

On the ∞-topos semantics of homotopy type theory 1: a categorical semantics of dependent type theory
By Emily Riehl


On the ∞-topos semantics of homotopy type theory 2: the simplicial model of univalent foundations
By Emily Riehl


On the ∞-topos semantics of homotopy type theory 3: all ∞-toposes have strict univalent universes
By Emily Riehl


Rigidity theorems for the diffeomorphism action on spaces of metrics of positive scalar curvature
By Johannes Ebert