• Title Higher Topos Theory
• Author(s) Jacob Lurie
• Publisher: Princeton University Press (July 26, 2009)
• Permission: Link to the draft at author's homepage
• Paperback 944 pages
• eBook PDF (Files)949 pages)
• Language: English
• ISBN-10: 0691140499
• ISBN-13: 978-0691140490
• Share This:  

Book Description

Higher category theory is generally regarded as technical and forbidding, but part of it is considerably more tractable: the theory of infinity-categories, higher categories in which all higher morphisms are assumed to be invertible.

This book presents the foundations of this 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. The result is a powerful theory with applications in many areas of mathematics.

• Jacob Lurie is associate professor of mathematics at Massachusetts Institute of Technology.

• Amazon

• Geometry and Topology
• Category Theory
• Mathematical Logic - Computability, Set Theory, Model Theory, Proof Theory, etc.
• Algebra, Abstract Algebra, and Linear Algebra, etc.

• Higher Topos Theory (Jacob Lurie)
• The Mirror Site (1) - PDF

• Computational Category Theory (David E. Rydeheard,, et al.)

  This book is an implementation of concepts and constructions from category theory in the functional programming language Standard ML. It it proceeds from algorithm to algorithm until all of elementary category theory is laid out in precise computational form.

• Category Theory: A Programming Language Oriented Introduction

  This book explains the following topics: Categories, functors, natural transformations, String diagrams, Kan extensions, Algebras, coalgebras, bialgebras, Lambda-calculus and categories.

• Data Visualization with Category Theory and Geometry

  This open access book provides a robust exposition of the mathematical foundations of data representation, focusing on two essential pillars of dimensionality reduction methods, namely geometry and category theory.

• An Invitation to Applied Category Theory: Seven Sketches

  Category theory is now a powerful tool in science, informatics, and industry. This book offers a self-contained tour of applied category theory. Each chapter follows a single thread motivated by a real-world application and discussed with category-theoretic tools.

• Category Theory in Context (Emily Riehl)

  This book introduces the essential concepts of category theory: categories, functors, natural transformations, the Yoneda lemma, limits and colimits, adjunctions, monads, Kan extensions, and other topics.