Tangent categories of algebras over operads
Abstract
Associated to a presentable -category and an object is the tangent -category , consisting of parameterized spectrum objects over . This gives rise to a cohomology theory, called Quillen cohomology, whose category of coefficients is . When consists of algebras over a nice -operad in a stable -category, is equivalent to the -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