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

**Seven Sketches in Compositionality: An Invitation to Applied Category Theory**

by

**Brendan Fong, David I Spivak**-

**arXiv.org**

This book is an invitation to discover advanced topics in category theory through concrete, real-world examples. The tour takes place over seven sketches, such as databases, electric circuits, etc, with the exploration of a categorical structure.

(

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

(

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

(

**6757**views)

**Dynamical Systems and Sheaves**

by

**D. I. Spivak, C. Vasilakopoulou, P. Schultz**-

**arXiv**

A categorical framework for modeling and analyzing systems in a broad sense is proposed. These systems should be thought of as 'machines' with inputs and outputs, carrying some sort of signal that occurs through some notion of time.

(

**956**views)