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 homotopycoherent mathematics"^{[2]} inspired by the Stacks Project.
YouTube Encyclopedic

1/3Views:63 9002 74820 975

The Woman Who's Rewriting Higher Category Theory

Category Theory For Beginners: Topos Theory Essentials

What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explains
Transcription
Topics
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
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 thenadvisor 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
 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
 ^ ^{a} ^{b} Hartnett, Kevin (20191010). "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 9780691140483.
 ^ ^{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).