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 for Programmersby 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.
(1318 views)
Category Theory for the Sciencesby 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.
(1462 views)
An Introduction to Category Theory in Four Easy Movementsby A. Schalk, H. Simmons - Manchester University
Notes for a course offered as part of the MSc. in Mathematical Logic. From the table of contents: Development and exercises; Functors and natural transformations; Limits and colimits, a universal solution; Cartesian closed categories.
(7178 views)
Category Theory Lecture Notesby 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.
(7146 views)