74 citations · 888 across the 55 of their papers we have counts for
11 papers · 1 filter
All -toposes have strict univalent universes
Michael Shulman
We prove the conjecture that any Grothendieck -topos can be presented by a Quillen model category that interprets homotopy type theory with strict univalent universes.…
Magnitude homology of enriched categories and metric spaces
Tom Leinster, Michael Shulman
Magnitude is a numerical invariant of enriched categories, including in particular metric spaces as -enriched categories. We show that in many cases magnitude can be ca…
Generalized stability for abstract homotopy theories
Moritz Groth, Mike Shulman
We show that a derivator is stable if and only if homotopy finite limits and homotopy finite colimits commute, if and only if homotopy finite limit functors have right adjoints, an…
Univalence for inverse EI diagrams
Michael Shulman
We construct a new model category presenting the homotopy theory of presheaves on "inverse EI -categories", which contains universe objects that satisfy Voevodsky's uni…
Reedy categories and their generalizations
Michael Shulman
We observe that the Reedy model structure on a diagram category can be constructed by iterating an operation of "bigluing" model structures along a pair of functors and a natural t…
The linearity of fixed point invariants
Kate Ponto, Michael Shulman
We prove two general decomposition theorems for fixed-point invariants: one for the Lefschetz number and one for the Reidemeister trace. These theorems imply the familiar additivit…