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

View the abstract.

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.

A comprehensive introduction to stable homotopy theory for beginning graduate students, from motivating phenomena to current research.

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

This 1987 volume presents a collection of papers given at the 1985 Durham Symposium on homotopy theory. They survey recent developments in the subject including localisation and periodicity, computational complexity, and the algebraic K-theory of spaces.

"The old logic put thought in fetters, while the new logic gives it wings." For the past century, philosophers working in the tradition of Bertrand Russell - who promised to revolutionise philosophy by introducing the 'new logic' of Frege and Peano - have employed predicate logic as their formal language of choice. In this book, Dr David Corfield presents a comparable revolution with a newly emerging logic - modal homotopy type theory. Homotopy type theory has recently been developed as a new foundational language for mathematics, with a strong philosophical pedigree. Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy offers an introduction to this new language and its modal extension, illustrated through innovative applications of the calculus to language, metaphysics, and mathematics. The chapters build up to the full language in stages, right up to the application of modal homotopy type theory to current geometry. From a discussion of the distinction between objects and events, the intrinsic treatment of structure, the conception of modality as a form of general variation to the representation of constructions in modern geometry, we see how varied the applications of this powerful new language can be.

This volume contains the proceedings of the conference on Manifolds, -Theory, and Related Topics, held from June 23–27, 2014, in Dubrovnik, Croatia. The articles contained in this volume are a collection of research papers featuring recent advances in homotopy theory, -theory, and their applications to manifolds. Topics covered include homotopy and manifold calculus, structured spectra, and their applications to group theory and the geometry of manifolds. This volume is a tribute to the influence of Tom Goodwillie in these fields.

This book combining wavelets and the world of the spectrum focuses on recent developments in wavelet theory, emphasizing fundamental and relatively timeless techniques that have a geometric and spectral-theoretic flavor. The exposition is clearly motivated and unfolds systematically, aided by numerous graphics. This self-contained book deals with important applications to signal processing, communications engineering, computer graphics algorithms, qubit algorithms and chaos theory, and is aimed at a broad readership of graduate students, practitioners, and researchers in applied mathematics and engineering. The book is also useful for other mathematicians with an interest in the interface between mathematics and communication theory.