Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published April 12, 2021 | Submitted + Published
Journal Article Open

Model ∞-categories III: the fundamental theorem


We prove that a model structure on a relative ∞-category (M,W) gives an efficient and computable way of accessing the hom-spaces hom_([M[W-1])(x,y) in the localization. More precisely, we show that when the source x ∈ M is cofibrant and the target y ∈ M is fibrant, then this hom-space is a "quotient" of the hom-space hom_M(x,y) by either of a left homotopy relation or a right homotopy relation.

Additional Information

© 2021 The Author(s). Received December 19, 2017. Published: April 12, 2021. We wish to thank Omar Antolín-Camarena, Tobi Barthel, Clark Barwick, Rune Haugseng, Gijs Heuts, Zhen Lin Low, Mike Mandell, Justin Noel, and Aaron Royer for many very helpful conversations. Additionally, we gratefully acknowledge the financial support provided both by the NSF graduate research fellowship program (grant DGE-1106400) and by UC Berkeley's geometry and topology RTG (grant DMS-0838703) during the time that this work was carried out. As this paper is the culmination of its series, we would also like to take this opportunity to extend our thanks to the people who have most influenced the entire project, without whom it certainly could never have come into existence: Bill Dwyer and Dans Kan and Quillen, for the model-categorical foundations; André Joyal and Jacob Lurie, for the ∞-categorical foundations; Zhen Lin Low, for countless exceedingly helpful conversations; Eric Peterson, for his tireless, dedicated, and impressive TeX support, and for listening patiently to far too many all-too-elaborate "here's where I'm stuck" monologues; David Ayala, for somehow making it through every last one of these papers and providing numerous insightful comments and suggestions, and for providing much-needed encouragement through the tail end of the writing process; Clark Barwick, for many fruitful conversations (including the one that led to the realization that there should exist a notion of "model ∞-categories" in the first place!), and for his consistent enthusiasm for this project; Peter Teichner, for his trust in allowing free rein to explore, for his generous support and provision for so many extended visits to so many institutions around the world, and for his constant advocacy on our behalf; and, lastly and absolutely essentially, Katherine de Kleer, for her boundless love, for her ample patience, and for bringing beauty and excitement into each and every day.

Attached Files

Published - 27-22v.pdf

Submitted - 1510.04777.pdf


Files (1.1 MB)
Name Size Download all
429.4 kB Preview Download
647.8 kB Preview Download

Additional details

August 20, 2023
October 23, 2023