2:54 AM
3
Q: HoTT for the working mathematician (especially the homotopy geometer) - what is the current state?
As a starting point for this question, I want to turn to Mike Shulman's paper "All (∞,1)-toposes have strict univalent universes" (2019). Mike shows that Every $(∞,1)$-topos can be represented by a type-theoretic model topos. This is a model category with a little extra structure and some very n...
« first day (4072 days earlier) ← previous day next day → last day (25 days later) »