**Higher Operads, Higher Categories**

by Tom Leinster

**Publisher**: arXiv 2003**ISBN/ASIN**: 0521532159**ISBN-13**: 9780521532150**Number of pages**: 410

**Description**:

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.

Download or read it online for free here:

**Download link**

(3MB, PDF)

## Similar books

**Computational Category Theory**

by

**D.E. Rydeheard, R.M. Burstall**

The book is a bridge-building exercise between computer programming and category theory. Basic constructions of category theory are expressed as computer programs. It is a first attempt at connecting the abstract mathematics with concrete programs.

(

**19288**views)

**Category Theory Lecture Notes**

by

**Michael Barr, Charles Wells**

Categories originally arose in mathematics out of the need of a formalism to describe the passage from one type of mathematical structure to another. These notes form a short summary of some major topics in category theory.

(

**12381**views)

**Category Theory for Programmers**

by

**Bartosz Milewski**-

**unglue.it**

Category theory is the kind of math that is particularly well suited for the minds of programmers. It deals with the kind of structure that makes programs composable. And I will argue strongly that composition is the essence of programming.

(

**7560**views)

**Toposes, Triples and Theories**

by

**Michael Barr, Charles Wells**-

**Springer-Verlag**

Introduction to toposes, triples and theories and the connections between them. The book starts with an introduction to category theory, then introduces each of the three topics of the title. Exercises provide examples or develop the theory further.

(

**15146**views)