This book provides an introduction to modern homotopy theory through the lens of higher categories after Joyal and Lurie, giving access to methods used at the forefront of research in algebraic topology and algebraic geometry in the twenty-first century. The text starts from scratch - revisiting results from classical homotopy theory such as Serre's long exact sequence, Quillen's theorems A and B, Grothendieck's smooth/proper base change formulas, and the construction of the Kan–Quillen model structure on simplicial sets - and develops an alternative to a significant part of Lurie's definitive reference Higher Topos Theory, with new constructions and proofs, in particular, the Yoneda Lemma and Kan extensions. The strong emphasis on homotopical algebra provides clear insights into classical constructions such as calculus of fractions, homotopy limits and derived functors. For graduate students and researchers from neighbouring fields, this book is a user-friendly guide to advanced tools that the theory provides for application.
In The Press
'Category theory is concerned with the organisation and construction of general mathematical structures, while homotopy theory is devoted to the study of abstract shapes associated to geometric forms. This book is a window into the new field of mathematics emerging from the convergence of these two branches of mathematics … It was conjectured a few decades ago that category theory has a natural extension to quasi-categories (also called infinity-category), a notion introduced by Michael Boardman and Reiner Vogt in the early nineteen-seventies … This book widens and deepens the extension with the addition of a new theory of presheaves inspired by type theory and a new theory of localisation; it proposes an extension of homotopical algebra to quasi-categories, offers new applications, and brings important simplification to earlier works. It is an excellent introduction to the subject and may be used for an advanced course.' André Joyal, Université du Québec à Montréal, Canada