Goodwillie Approximations To Higher Categories

View the abstract.

This volume originated in the workshop held at Nagoya University, August 28–30, 2015, focusing on the surprising and mysterious Ohkawa's theorem: the Bousfield classes in the stable homotopy category SH form a set. An inspiring, extensive mathematical story can be narrated starting with Ohkawa's theorem, evolving naturally with a chain of motivational questions: Ohkawa's theorem states that the Bousfield classes of the stable homotopy category SH surprisingly forms a set, which is still very mysterious. Are there any toy models where analogous Bousfield classes form a set with a clear meaning? The fundamental theorem of Hopkins, Neeman, Thomason, and others states that the analogue of the Bousfield classes in the derived category of quasi-coherent sheaves Dqc(X) form a set with a clear algebro-geometric description. However, Hopkins was actually motivated not by Ohkawa's theorem but by his own theorem with Smith in the triangulated subcategory SHc, consisting of compact objects in SH. Now the following questions naturally occur: (1) Having theorems of Ohkawa and Hopkins-Smith in SH, are there analogues for the Morel-Voevodsky A1-stable homotopy category SH(k), which subsumes SH when k is a subfield of C?, (2) Was it not natural for Hopkins to have considered Dqc(X)c instead of Dqc(X)? However, whereas there is a conceptually simple algebro-geometrical interpretation Dqc(X)c = Dperf(X), it is its close relative Dbcoh(X) that traditionally, ever since Oka and Cartan, has been intensively studied because of its rich geometric and physical information. This book contains developments for the rest of the story and much more, including the chromatics homotopy theory, which the Hopkins–Smith theorem is based upon, and applications of Lurie's higher algebra, all by distinguished contributors.

The Handbook of Homotopy Theory provides a panoramic view of an active area in mathematics that is currently seeing dramatic solutions to long-standing open problems, and is proving itself of increasing importance across many other mathematical disciplines. The origins of the subject date back to work of Henri Poincaré and Heinz Hopf in the early 20th century, but it has seen enormous progress in the 21st century. A highlight of this volume is an introduction to and diverse applications of the newly established foundational theory of ¥ -categories. The coverage is vast, ranging from axiomatic to applied, from foundational to computational, and includes surveys of applications both geometric and algebraic. The contributors are among the most active and creative researchers in the field. The 22 chapters by 31 contributors are designed to address novices, as well as established mathematicians, interested in learning the state of the art in this field, whose methods are of increasing importance in many other areas.

This open access book offers a self-contained introduction to the homotopy theory of simplicial and dendroidal sets and spaces. These are essential for the study of categories, operads, and algebraic structure up to coherent homotopy. The dendroidal theory combines the combinatorics of trees with the theory of Quillen model categories. Dendroidal sets are a natural generalization of simplicial sets from the point of view of operads. In this book, the simplicial approach to higher category theory is generalized to a dendroidal approach to higher operad theory. This dendroidal theory of higher operads is carefully developed in this book. The book also provides an original account of the more established simplicial approach to infinity-categories, which is developed in parallel to the dendroidal theory to emphasize the similarities and differences. Simplicial and Dendroidal Homotopy Theory is a complete introduction, carefully written with the beginning researcher in mind and ideally suited for seminars and courses. It can also be used as a standalone introduction to simplicial homotopy theory and to the theory of infinity-categories, or a standalone introduction to the theory of Quillen model categories and Bousfield localization.

This categorical perspective on homotopy theory helps consolidate and simplify one's understanding of derived functors, homotopy limits and colimits, and model categories, among others.

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

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