Quillen cohomology of (, 2)-categories

MaRDI QIDQ5382902zbMATH OpenFDO

Authors Yonatan Harpaz, Joost Nuiten, Matan Prasma

Publication date 19 June 2019

Full work available at URL https://arxiv.org/abs/1802.08046

zbMATH Keywords

spectrumGrothendieck constructionQuillen cohomologytangent category$(\infty, 2)$-category

Mathematics Subject Classification ID

Stable homotopy theory, spectra (55P42) Obstruction theory in algebraic topology (55S35) Generalized cohomology and spectral sequences in algebraic topology (55T25)

Abstract: In this paper we study the homotopy theory of parameterized spectrum objects in the $infty$-category of $(infty,2)$-categories, as well as the Quillen cohomology of an $(infty,2)$-category with coefficients in such a parameterized spectrum. More precisely, we construct an analogue of the twisted arrow category for an $(infty,2)$-category $mathbbC$, which we call its twisted 2-cell $infty$-category. We then establish an equivalence between parameterized spectrum objects over $mathbbC$, and diagrams of spectra indexed by the twisted 2-cell $infty$-category of $mathbbC$. Under this equivalence, the Quillen cohomology of $mathbbC$ with values in such a diagram of spectra is identified with the two-fold suspension of its inverse limit spectrum. As an application, we provide an alternative, obstruction-theoretic proof of the fact that adjunctions between $(infty,1)$-categories are uniquely determined at the level of the homotopy $(3,2)$-category of $mathrm{Cat}_{infty}$.

Recommendations

• The abstract cotangent complex and Quillen cohomology of enriched categories
• Two-track categories
• Tangent categories of algebras over operads
• The 2-category theory of quasi-categories
• Behavior of Quillen (co)homology with respect to adjunctions

Cites work

• scientific article; zbMATH DE number 3986183 (Why is no real title available?)
• scientific article; zbMATH DE number 1860105 (Why is no real title available?)
• Fibred 2-categories and bicategories
• Grothendieck's homotopy theory
• Higher Topos Theory (AM-170)
• Homotopical algebra
• Homotopy coherent adjunctions and the formal theory of monads
• Limits indexed by category-valued 2-functors
• Spectra and symmetric spectra in general model categories
• Stable homotopy theories and stabilization
• The Grothendieck construction for model categories
• The abstract cotangent complex and Quillen cohomology of enriched categories
• The tangent complex and Hochschild cohomology of \(\mathcal E_n\)-rings

Cited in

(10)

• The abstract cotangent complex and Quillen cohomology of enriched categories
• The tangent bundle of a model category
• Quasi-Kan extensions for 2-categories
• A relative 2-nerve
• On distributivity in higher algebra I: the universal property of bispans
• Gabriel-Quillen embedding for n-exact categories
• Tangent categories of algebras over operads
• Two-variable fibrations, factorisation systems and -categories of spans
• The limit–colimit coincidence theorem for -categories
• Nerves of 2-categories and 2-categorification of \(( \infty ,2)\)-categories

This page was built for publication: Quillen cohomology of \((\infty, 2)\)-categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5382902)