This book deals with algebraic topology, homotopy theory and simple homotopy theory of infinite CW-complexes with ends. Contrary to most other works on these subjects, the current volume does not use inverse systems to treat these topics. Here, the homotopy theory is approached without the rather sophisticated notion of pro-category. Spaces with ends are studied only by using appropriate constructions such as spherical objects of CW-complexes in the category of spaces with ends, and all arguments refer directly to this category. In this way, infinite homotopy theory is presented as a natural extension of classical homotopy theory. In particular, this book introduces the construction of the proper groupoid of a space with ends and then the cohomology with local coefficients is defined by the enveloping ringoid of the proper fundamental groupoid. This volume will be of interest to researchers whose work involves algebraic topology, category theory, homological algebra, general topology, manifolds, and cell complexes.

Addresses issues with odd primary infinite families in stable homotopy theory.

A modern, example-driven introduction to cubical diagrams and related topics such as homotopy limits and cosimplicial spaces.

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.

Nilpotence and Periodicity in Stable Homotopy Theory describes some major advances made in algebraic topology in recent years, centering on the nilpotence and periodicity theorems, which were conjectured by the author in 1977 and proved by Devinatz, Hopkins, and Smith in 1985. During the last ten years a number of significant advances have been made in homotopy theory, and this book fills a real need for an up-to-date text on that topic. Ravenel's first few chapters are written with a general mathematical audience in mind. They survey both the ideas that lead up to the theorems and their applications to homotopy theory. The book begins with some elementary concepts of homotopy theory that are needed to state the problem. This includes such notions as homotopy, homotopy equivalence, CW-complex, and suspension. Next the machinery of complex cobordism, Morava K-theory, and formal group laws in characteristic p are introduced. The latter portion of the book provides specialists with a coherent and rigorous account of the proofs. It includes hitherto unpublished material on the smash product and chromatic convergence theorems and on modular representations of the symmetric group.