Higher Operads, Higher Categories

TL;DR

This foundational book introduces higher-dimensional category theory, covering n-categories, operads, and related structures, with diverse examples and motivation from topology and physics.

Contribution

It is the first comprehensive book establishing the foundations of higher-dimensional category theory and related structures.

Findings

Provides foundational definitions and concepts

Includes numerous examples across disciplines

Motivates the subject for topologists

Abstract

Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. It draws its inspiration from areas as diverse as topology, quantum algebra, mathematical physics, logic, and theoretical computer science. This is the first book on the subject and lays its foundations. Many examples are given throughout. There is also an introductory chapter motivating the subject for topologists.