Operads are mathematical devices which describe algebraic structures of many varieties and in various categories. From their beginnings in the 1960s, they have developed to encompass such areas as combinatorics, knot theory, moduli spaces, string field theory and deformation quantization.

In many areas of mathematics some “higher operations” are arising. These havebecome so important that several research projects refer to such expressions. Higher operationsform new types of algebras. The key to understanding and comparing them, to creating invariants of their action is operad theory. This is a point of view that is 40 years old in algebraic topology, but the new trend is its appearance in several other areas, such as algebraic geometry, mathematical physics, differential geometry, and combinatorics. The present volume is the first comprehensive and systematic approach to algebraic operads. An operad is an algebraic device that serves to study all kinds of algebras (associative, commutative, Lie, Poisson, A-infinity, etc.) from a conceptual point of view. The book presents this topic with an emphasis on Koszul duality theory. After a modern treatment of Koszul duality for associative algebras, the theory is extended to operads. Applications to homotopy algebra are given, for instance the Homotopy Transfer Theorem. Although the necessary notions of algebra are recalled, readers are expected to be familiar with elementary homological algebra. Each chapter ends with a helpful summary and exercises. A full chapter is devoted to examples, and numerous figures are included. After a low-level chapter on Algebra, accessible to (advanced) undergraduate students, the level increases gradually through the book. However, the authors have done their best to make it suitable for graduate students: three appendices review the basic results needed in order to understand the various chapters. Since higher algebra is becoming essential in several research areas like deformation theory, algebraic geometry, representation theory, differential geometry, algebraic combinatorics, and mathematical physics, the book can also be used as a reference work by researchers.

Foundations of higher dimensional category theory for graduate students and researchers in mathematics and mathematical physics.

The book aims to exemplify the recent developments in operad theory, in universal algebra and related topics in algebraic topology and theoretical physics. The conference has established a better connection between mathematicians working on operads (mainly the French team) and mathematicians working in universal algebra (primarily the Chinese team), and to exchange problems, methods and techniques from these two subject areas.

The subject of this book is the theory of operads and colored operads, sometimes called symmetric multicategories. A (colored) operad is an abstract object which encodes operations with multiple inputs and one output and relations between such operations. The theory originated in the early 1970s in homotopy theory and quickly became very important in algebraic topology, algebra, algebraic geometry, and even theoretical physics (string theory). Topics covered include basic graph theory, basic category theory, colored operads, and algebras over colored operads. Free colored operads are discussed in complete detail and in full generality. The intended audience of this book includes students and researchers in mathematics and other sciences where operads and colored operads are used. The prerequisite for this book is minimal. Every major concept is thoroughly motivated. There are many graphical illustrations and about 150 exercises. This book can be used in a graduate course and for independent study.

The Grothendieck–Teichmüller group was defined by Drinfeld in quantum group theory with insights coming from the Grothendieck program in Galois theory. The ultimate goal of this book is to explain that this group has a topological interpretation as a group of homotopy automorphisms associated to the operad of little 2-discs, which is an object used to model commutative homotopy structures in topology. This volume gives a comprehensive survey on the algebraic aspects of this subject. The book explains the definition of an operad in a general context, reviews the definition of the little discs operads, and explains the definition of the Grothendieck–Teichmüller group from the viewpoint of the theory of operads. In the course of this study, the relationship between the little discs operads and the definition of universal operations associated to braided monoidal category structures is explained. Also provided is a comprehensive and self-contained survey of the applications of Hopf algebras to the definition of a rationalization process, the Malcev completion, for groups and groupoids. Most definitions are carefully reviewed in the book; it requires minimal prerequisites to be accessible to a broad readership of graduate students and researchers interested in the applications of operads.

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.