The abstract cotangent complex and Quillen cohomology of enriched categories

Abstract

In his fundamental work, Quillen developed the theory of the cotangent complex as a universal abelian derived invariant, and used it to define and study a canonical form of cohomology, encompassing many known cohomology theories. Additional cohomology theories, such as generalized cohomology of spaces and topological André-Quillen cohomology, can be accommodated by considering a spectral version of the cotangent complex. Recent work of Lurie established a comprehensive $\infty$-categorical analogue of the cotangent complex formalism using stabilization of $\infty$-categories. In this paper we study the spectral cotangent complex while working in Quillen's model categorical setting. Our main result gives new and explicit computations of the cotangent complex and Quillen cohomology of enriched categories. For this we make essential use of previous work, which identifies the tangent categories of operadic algebras in unstable model categories. In particular, we present the cotangent complex of an $\infty$-category as a spectrum valued functor on its twisted arrow category, and consider the associated obstruction theory in some examples of interest.

References in corpus (9)

• Higher Topos Theory
• The tangent complex and Hochschild cohomology of E_n-rings
• Algebraic versus topological triangulated categories
• Homology and Cohomology of E-infinity Ring Spectra
• Parametrized spectra, multiplicative Thom spectra, and the twisted Umkehr map
• On the homotopy theory of enriched categories
• Homotopy theory of non-symmetric operads
• Stable Infinity Categories
• Corrections to "Homotopy theory of nonsymmetric operads, I, II"

Cited by in corpus (7)

• The tangent bundle of a model category
• Quillen cohomology of enriched operads
• On k-invariants for $(\infty ,n)$-categories
• Parametrized spectra, a low-tech approach
• Tangent $\infty$-categories and Goodwillie calculus
• Hochschild and cotangent complexes of operadic algebras
• Quillen cohomology of $(\infty ,2)$-categories