« first day (4072 days earlier)      last day (25 days later) » 

2:54 AM
3
Q: HoTT for the working mathematician (especially the homotopy geometer) - what is the current state?

Arshak AivazianAs 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)      last day (25 days later) »