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
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.
(18279 views)
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.
(18279 views)
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.
(9655 views)
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.
(9655 views)
Category Theory
- Wikibooks
This book is an introduction to category theory, written for those who have some understanding of one or more branches of abstract mathematics, such as group theory, analysis or topology. It contains examples drawn from various branches of math.
(11496 views)
- Wikibooks
This book is an introduction to category theory, written for those who have some understanding of one or more branches of abstract mathematics, such as group theory, analysis or topology. It contains examples drawn from various branches of math.
(11496 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.
(6439 views)
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.
(6439 views)