Higher Topos Theory
Higher Topos Theory is a treatise on the theory of ∞-categories written by American mathematician Jacob Lurie. In addition to introducing Lurie's new theory of ∞-topoi, the book is widely considered foundational to higher category theory.[1] Since 2018, Lurie has been transferring the contents of Higher Topos Theory (along with new material) to Kerodon, an "online resource for homotopy-coherent mathematics"[2] inspired by the Stacks Project.
Topics
[edit]Higher Topos Theory covers two related topics: ∞-categories and ∞-topoi (which are a special case of the former). The first five of the book's seven chapters comprise a rigorous development of general ∞-category theory in the language of quasicategories, a special class of simplicial set which acts as a model for ∞-categories. The path of this development largely parallels classical category theory, with the notable exception of the ∞-categorical Grothendieck construction; this correspondence, which Lurie refers to as "straightening and unstraightening",[3] gains considerable importance in his treatment.
The last two chapters are devoted to ∞-topoi, Lurie's own invention and the ∞-categorical analogue of topoi in classical category theory. The material of these chapters is original, and is adapted from an earlier preprint of Lurie's.[4] There are also appendices discussing background material on categories, model categories, and simplicial categories.
History
[edit]Higher Topos Theory followed an earlier work by Lurie, On Infinity Topoi, uploaded to the arXiv in 2003.[4] Algebraic topologist Peter May was critical of this preprint, emailing Lurie's then-advisor Mike Hopkins "to say that Lurie’s paper had some interesting ideas, but that it felt preliminary and needed more rigor."[1] Lurie released a draft of Higher Topos Theory on the arXiv in 2006,[5] and the book was finally published in 2009.
Lurie released a second book on higher category theory, Higher Algebra, as a preprint on his website in 2017.[6] This book assumes the content of Higher Topos Theory and uses it to study algebra in the ∞-categorical context.
External links
[edit]- http://ncatlab.org/nlab/show/Higher+Topos+Theory
- If I want to study Jacob Lurie's books "Higher Topoi Theory", "Derived AG", what prerequisites should I have?
- https://www.math.ias.edu/~lurie/
- https://kerodon.net/about
References
[edit]- ^ a b Hartnett, Kevin (2019-10-10). "With Category Theory, Mathematics Escapes From Equality". Quanta Magazine. Retrieved May 17, 2022.
- ^ Lurie, Jacob (2022). "Kerodon". Kerodon. Retrieved May 17, 2022.
- ^ Lurie, Jacob (2009). Higher Topos Theory. Princeton University Press. ISBN 978-0-691-14048-3.
- ^ a b Lurie, Jacob (June 8, 2003). "On Infinity Topoi". arXiv:math/0306109v2.
- ^ Lurie, Jacob (August 2, 2006). "Higher Topos Theory". arXiv:math/0608040v1.
- ^ Lurie, Jacob (2017). Higher Algebra (PDF).