**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

**Category Theory for Scientists**

by

**David I. Spivak**-

**arXiv**

We attempt to show that category theory can be applied throughout the sciences as a framework for modeling phenomena and communicating results. In order to target the scientific audience, this book is example-based rather than proof-based.

(

**7127**views)

**Abelian Categories: an Introduction to the Theory of Functors**

by

**Peter Freyd**-

**Harper and Row**

From the table of contents: Fundamentals (Contravariant functors and dual categories); Fundamentals of Abelian categories; Special functors and subcategories; Metatheorems; Functor categories; Injective envelopes; Embedding theorems.

(

**9956**views)

**Category Theory for the Sciences**

by

**David I. Spivak**-

**The MIT Press**

This book shows that category theory can be useful outside of mathematics as a flexible modeling language throughout the sciences. Written in an engaging and straightforward style, the book is rigorous but accessible to non-mathematicians.

(

**3887**views)

**Categories, Types, and Structures**

by

**Andrea Asperti, Giuseppe Longo**-

**MIT Press**

Here is an introduction to category theory for the working computer scientist. It is a self-contained introduction to general category theory and the mathematical structures that constitute the theoretical background.

(

**15350**views)