Since the beginning of the modern era of algebraic topology, simplicial methods have been used systematically and effectively for both computation and basic theory. With the development of Quillen's concept of a closed model category and, in particular, a simplicial model category, this collection of methods has become the primary way to describe non-abelian homological algebra and to address homotopy-theoretical issues in a variety of fields, including algebraic K-theory. This book supplies a modern exposition of these ideas, emphasizing model category theoretical techniques. Discussed here are the homotopy theory of simplicial sets, and other basic topics such as simplicial groups, Postnikov towers, and bisimplicial sets. The more advanced material includes homotopy limits and colimits, localization with respect to a map and with respect to a homology theory, cosimplicial spaces, and homotopy coherence. Interspersed throughout are many results and ideas well-known to experts, but uncollected in the literature. Intended for second-year graduate students and beyond, this book introduces many of the basic tools of modern homotopy theory. An extensive background in topology is not assumed.

This book is based on lectures given at a summer school on motivic homotopy theory at the Sophus Lie Centre in Nordfjordeid, Norway, in August 2002. Aimed at graduate students in algebraic topology and algebraic geometry, it contains background material from both of these fields, as well as the foundations of motivic homotopy theory. It will serve as a good introduction as well as a convenient reference for a broad group of mathematicians to this important and fascinating new subject. Vladimir Voevodsky is one of the founders of the theory and received the Fields medal for his work, and the other authors have all done important work in the subject.

J. Frank Adams, the founder of stable homotopy theory, gave a lecture series at the University of Chicago in 1967, 1970, and 1971, the well-written notes of which are published in this classic in algebraic topology. The three series focused on Novikov's work on operations in complex cobordism, Quillen's work on formal groups and complex cobordism, and stable homotopy and generalized homology. Adams's exposition of the first two topics played a vital role in setting the stage for modern work on periodicity phenomena in stable homotopy theory. His exposition on the third topic occupies the bulk of the book and gives his definitive treatment of the Adams spectral sequence along with many detailed examples and calculations in KU-theory that help give a feel for the subject.

The central idea of the lecture course which gave birth to this book was to define the homotopy groups of a space and then give all the machinery needed to prove in detail that the nth homotopy group of the sphere Sn, for n greater than or equal to 1 is isomorphic to the group of the integers, that the lower homotopy groups of Sn are trivial and that the third homotopy group of S2 is also isomorphic to the group of the integers. All this was achieved by discussing H-spaces and CoH-spaces, fibrations and cofibrations (rather thoroughly), simplicial structures and the homotopy groups of maps.Later, the book was expanded to introduce CW-complexes and their homotopy groups, to construct a special class of CW-complexes (the Eilenberg-Mac Lane spaces) and to include a chapter devoted to the study of the action of the fundamental group on the higher homotopy groups and the study of fibrations in the context of a category in which the fibres are forced to live; the final material of that chapter is a comparison of various kinds of universal fibrations. Completing the book are two appendices on compactly generated spaces and the theory of colimits. The book does not require any prior knowledge of Algebraic Topology and only rudimentary concepts of Category Theory are necessary; however, the student is supposed to be well at ease with the main general theorems of Topology and have a reasonable mathematical maturity.

The central idea of the lecture course which gave birth to this book was to define the homotopy groups of a space and then give all the machinery needed to prove in detail that the n th homotopy group of the sphere S n, for n greater than or equal to 1 is isomorphic to the group of the integers, that the lower homotopy groups of S n are trivial and that the third homotopy group of S 2 is also isomorphic to the group of the integers. All this was achieved by discussing H-spaces and CoH-spaces, fibrations and cofibrations (rather thoroughly), simplicial structures and the homotopy groups of maps. groups, to construct a special class of CW-complexes (the Eilenberg-Mac Lane spaces) and to include a chapter devoted to the study of the action of the fundamental group on the higher homotopy groups and the study of fibrations in the context of a category in which the fibres are forced to live; the final material of that chapter is a comparison of various kinds of universal fibrations. Completing the book are two appendices on compactly generated spaces and the theory of colimits. The book does not require any prior knowledge of Algebraic Topology and only rudimentary concepts of Category Theory are necessary; however, the student is supposed to be well at ease with the main general theorems of Topology and have a reasonable mathematical maturity.

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.

The amount of algebraic topology a graduate student specializing in topology must learn can be intimidating. Moreover, by their second year of graduate studies, students must make the transition from understanding simple proofs line-by-line to understanding the overall structure of proofs of difficult theorems. To help students make this transition, the material in this book is presented in an increasingly sophisticated manner. It is intended to bridge the gap between algebraic and geometric topology, both by providing the algebraic tools that a geometric topologist needs and by concentrating on those areas of algebraic topology that are geometrically motivated. Prerequisites for using this book include basic set-theoretic topology, the definition of CW-complexes, some knowledge of the fundamental group/covering space theory, and the construction of singular homology. Most of this material is briefly reviewed at the beginning of the book. The topics discussed by the authors include typical material for first- and second-year graduate courses. The core of the exposition consists of chapters on homotopy groups and on spectral sequences. There is also material that would interest students of geometric topology (homology with local coefficients and obstruction theory) and algebraic topology (spectra and generalized homology), as well as preparation for more advanced topics such as algebraic $K$-theory and the s-cobordism theorem. A unique feature of the book is the inclusion, at the end of each chapter, of several projects that require students to present proofs of substantial theorems and to write notes accompanying their explanations. Working on these projects allows students to grapple with the “big picture”, teaches them how to give mathematical lectures, and prepares them for participating in research seminars. The book is designed as a textbook for graduate students studying algebraic and geometric topology and homotopy theory. It will also be useful for students from other fields such as differential geometry, algebraic geometry, and homological algebra. The exposition in the text is clear; special cases are presented over complex general statements.

Algebraic Topology and basic homotopy theory form a fundamental building block for much of modern mathematics. These lecture notes represent a culmination of many years of leading a two-semester course in this subject at MIT. The style is engaging and student-friendly, but precise. Every lecture is accompanied by exercises. It begins slowly in order to gather up students with a variety of backgrounds, but gains pace as the course progresses, and by the end the student has a command of all the basic techniques of classical homotopy theory.

These lectures recount an application of stable homotopy theory to a concrete problem in low energy physics: the classification of special phases of matter. While the joint work of the author and Michael Hopkins is a focal point, a general geometric frame of reference on quantum field theory is emphasized. Early lectures describe the geometric axiom systems introduced by Graeme Segal and Michael Atiyah in the late 1980s, as well as subsequent extensions. This material provides an entry point for mathematicians to delve into quantum field theory. Classification theorems in low dimensions are proved to illustrate the framework. The later lectures turn to more specialized topics in field theory, including the relationship between invertible field theories and stable homotopy theory, extended unitarity, anomalies, and relativistic free fermion systems. The accompanying mathematical explanations touch upon (higher) category theory, duals to the sphere spectrum, equivariant spectra, differential cohomology, and Dirac operators. The outcome of computations made using the Adams spectral sequence is presented and compared to results in the condensed matter literature obtained by very different means. The general perspectives and specific applications fuse into a compelling story at the interface of contemporary mathematics and theoretical physics.