2009/05/04 by Jacob Lurie, Lurie, Jacob · 3 citations
Computer Science · Mathematics · #55U40 #Algebraic Topology (math.AT) #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Topological and Geometric Data Analysis
paper · pdf · doi:10.48550/arxiv.0905.0462
openalex publication_date 2009/05/04 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
The bulk of this paper is devoted to the comparison of several models for the theory of (infinity,2)-categories: that is, higher categories in which all k-morphisms are invertible for k > 2 (the case of (infinity,n)-categories is also considered). Our ultimate goal is to lay the foundations for a study of Tom Goodwillie's calculus of functors. To this end, we have included some simple applications to the theory of first derivatives.