English

Tangent categories of algebras over operads

Algebraic Topology 2023-11-21 v3

Abstract

Associated to a presentable \infty-category C\mathcal{C} and an object XCX \in \mathcal{C} is the tangent \infty-category TXC\mathcal{T}_X\mathcal{C}, consisting of parameterized spectrum objects over XX. This gives rise to a cohomology theory, called Quillen cohomology, whose category of coefficients is TXC\mathcal{T}_X\mathcal{C}. When C\mathcal{C} consists of algebras over a nice \infty-operad in a stable \infty-category, TXC\mathcal{T}_X\mathcal{C} is equivalent to the \infty-category of operadic modules, by work of Basterra--Mandell, Schwede and Lurie. In this paper we develop the model-categorical counterpart of this identification and extend it to the case of algebras over an enriched operad, taking values in a model category which is not necessarily stable. This extended comparison can be used, for example, to identify the cotangent complex of enriched categories, an application we take up in a subsequent paper.

Keywords

Cite

@article{arxiv.1612.02607,
  title  = {Tangent categories of algebras over operads},
  author = {Yonatan Harpaz and Joost Nuiten and Matan Prasma},
  journal= {arXiv preprint arXiv:1612.02607},
  year   = {2023}
}

Comments

The section concerning stabilization of model categories was separated into an independent paper, appearing now as arXiv:1802.08031. Added an appendix on sifted homotopy colimits of algebras