Higher Operads Higher Categories

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

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

An array of general ideas useful in a wide variety of fields. Starting from the foundations, this book illuminates the concepts of category, functor, natural transformation, and duality. It then turns to adjoint functors, which provide a description of universal constructions, an analysis of the representations of functors by sets of morphisms, and a means of manipulating direct and inverse limits. These categorical concepts are extensively illustrated in the remaining chapters, which include many applications of the basic existence theorem for adjoint functors. The categories of algebraic systems are constructed from certain adjoint-like data and characterised by Beck's theorem. After considering a variety of applications, the book continues with the construction and exploitation of Kan extensions. This second edition includes a number of revisions and additions, including new chapters on topics of active interest: symmetric monoidal categories and braided monoidal categories, and the coherence theorems for them, as well as 2-categories and the higher dimensional categories which have recently come into prominence.

A short introduction ideal for students learning category theory for the first time.

The purpose of this book is to give background for those who would like to delve into some higher category theory. It is not a primer on higher category theory itself. It begins with a paper by John Baez and Michael Shulman which explores informally, by analogy and direct connection, how cohomology and other tools of algebraic topology are seen through the eyes of n-category theory. The idea is to give some of the motivations behind this subject. There are then two survey articles, by Julie Bergner and Simona Paoli, about (infinity,1) categories and about the algebraic modelling of homotopy n-types. These are areas that are particularly well understood, and where a fully integrated theory exists. The main focus of the book is on the richness to be found in the theory of bicategories, which gives the essential starting point towards the understanding of higher categorical structures. An article by Stephen Lack gives a thorough, but informal, guide to this theory. A paper by Larry Breen on the theory of gerbes shows how such categorical structures appear in differential geometry. This book is dedicated to Max Kelly, the founder of the Australian school of category theory, and an historical paper by Ross Street describes its development.

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.

This monograph presents a new model of mathematical structures called weak n-categories. These structures find their motivation in a wide range of fields, from algebraic topology to mathematical physics, algebraic geometry and mathematical logic. While strict n-categories are easily defined in terms associative and unital composition operations they are of limited use in applications, which often call for weakened variants of these laws. The author proposes a new approach to this weakening, whose generality arises not from a weakening of such laws but from the very geometric structure of its cells; a geometry dubbed weak globularity. The new model, called weakly globular n-fold categories, is one of the simplest known algebraic structures yielding a model of weak n-categories. The central result is the equivalence of this model to one of the existing models, due to Tamsamani and further studied by Simpson. This theory has intended applications to homotopy theory, mathematical physics and to long-standing open questions in category theory. As the theory is described in elementary terms and the book is largely self-contained, it is accessible to beginning graduate students and to mathematicians from a wide range of disciplines well beyond higher category theory. The new model makes a transparent connection between higher category theory and homotopy theory, rendering it particularly suitable for category theorists and algebraic topologists. Although the results are complex, readers are guided with an intuitive explanation before each concept is introduced, and with diagrams showing the interconnections between the main ideas and results.

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.