A comprehensive, self-contained approach to global equivariant homotopy theory, with many detailed examples and sample calculations.

This book develops abstract homotopy theory from the categorical perspective with a particular focus on examples. Part I discusses two competing perspectives by which one typically first encounters homotopy (co)limits: either as derived functors definable when the appropriate diagram categories admit a compatible model structure, or through particular formulae that give the right notion in certain examples. Emily Riehl unifies these seemingly rival perspectives and demonstrates that model structures on diagram categories are irrelevant. Homotopy (co)limits are explained to be a special case of weighted (co)limits, a foundational topic in enriched category theory. In Part II, Riehl further examines this topic, separating categorical arguments from homotopical ones. Part III treats the most ubiquitous axiomatic framework for homotopy theory - Quillen's model categories. Here, Riehl simplifies familiar model categorical lemmas and definitions by focusing on weak factorization systems. Part IV introduces quasi-categories and homotopy coherence.

A complete and definitive account of the authors' resolution of the Kervaire invariant problem in stable homotopy theory.

The beginning graduate student in homotopy theory is confronted with a vast literature on spectra that is scattered across books, articles and decades. There is much folklore but very few easy entry points. This comprehensive introduction to stable homotopy theory changes that. It presents the foundations of the subject together in one place for the first time, from the motivating phenomena to the modern theory, at a level suitable for those with only a first course in algebraic topology. Starting from stable homotopy groups and (co)homology theories, the authors study the most important categories of spectra and the stable homotopy category, before moving on to computational aspects and more advanced topics such as monoidal structures, localisations and chromatic homotopy theory. The appendix containing essential facts on model categories, the numerous examples and the suggestions for further reading make this a friendly introduction to an often daunting subject.

Since the publication of its first edition, this book has served as one of the few available on the classical Adams spectral sequence, and is the best account on the Adams-Novikov spectral sequence. This new edition has been updated in many places, especially the final chapter, which has been completely rewritten with an eye toward future research in the field. It remains the definitive reference on the stable homotopy groups of spheres. The first three chapters introduce the homotopy groups of spheres and take the reader from the classical results in the field though the computational aspects of the classical Adams spectral sequence and its modifications, which are the main tools topologists have to investigate the homotopy groups of spheres. Nowadays, the most efficient tools are the Brown-Peterson theory, the Adams-Novikov spectral sequence, and the chromatic spectral sequence, a device for analyzing the global structure of the stable homotopy groups of spheres and relating them to the cohomology of the Morava stabilizer groups. These topics are described in detail in Chapters 4 to 6. The revamped Chapter 7 is the computational payoff of the book, yielding a lot of information about the stable homotopy group of spheres. Appendices follow, giving self-contained accounts of the theory of formal group laws and the homological algebra associated with Hopf algebras and Hopf algebroids. The book is intended for anyone wishing to study computational stable homotopy theory. It is accessible to graduate students with a knowledge of algebraic topology and recommended to anyone wishing to venture into the frontiers of the subject.