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

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

(

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

(

**5468**views)

**Categories and Homological Algebra**

by

**Pierre Schapira**-

**UPMC**

These notes introduce the language of categories and present the basic notions of homological algebra, first from an elementary point of view, next with a more sophisticated approach, with the introduction of triangulated and derived categories.

(

**9075**views)

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

(

**17537**views)