**Higher Topos Theory**

by Jacob Lurie

**Publisher**: Princeton University Press 2009**ISBN/ASIN**: 0691140499**ISBN-13**: 9780691140490**Number of pages**: 943

**Description**:

Jacob Lurie presents the foundations of higher category theory, using the language of weak Kan complexes introduced by Boardman and Vogt, and shows how existing theorems in algebraic topology can be reformulated and generalized in the theory's new language.

Download or read it online for free here:

**Download link**

(3.9MB, PDF)

## Similar books

**Higher Operads, Higher Categories**

by

**Tom Leinster**-

**arXiv**

Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. It draws its inspiration from topology, quantum algebra, mathematical physics, logic, and computer science.

(

**7561**views)

**Functors and Categories of Banach Spaces**

by

**Peter W. Michor**-

**Springer**

The aim of this book is to develop the theory of Banach operator ideals and metric tensor products along categorical lines: these two classes of mathematical objects are endofunctors on the category Ban of all Banach spaces in a natural way.

(

**5730**views)

**Category Theory and Functional Programming**

by

**Mikael Vejdemo-Johansson**-

**University of St. Andrews**

An introduction to category theory that ties into Haskell and functional programming as a source of applications. Topics: definition of categories, special objects and morphisms, functors, natural transformation, (co-)limits and special cases, etc.

(

**7397**views)

**Notes on Categories and Groupoids**

by

**P. J. Higgins**-

**Van Nostrand Reinhold**

A self-contained account of the elementary theory of groupoids and some of its uses in group theory and topology. Category theory appears as a secondary topic whenever it is relevant to the main issue, and its treatment is by no means systematic.

(

**9750**views)