The stable hull of an exact \(\infty\)-category
type: Item
instance of: scholarly article
title: The stable hull of an exact \(\infty\)-category
zbMATH Open document ID: 1505.18029
author: Jona Klemenc
published in: Homology, Homotopy and Applications
publication date: 2022-12-01T00:00:00Z
full work available at URL: https://arxiv.org/abs/2010.04957
review text: Every abelian category has a canonical structure of an ordinary exact category given by the class of all short exact sequences. Conversely, every ordinary small exact category admits an embedding into an abelian category with nice properties, which is what is called the Gabriel-Quillen embedding [\textit{R. W. Thomason} and \textit{T. Trobaugh}, Prog. Math. 88, 247--435 (1990; Zbl 0731.14001), Theorem A.7.1]. There is an alternative description of exact categories as extension-closed subcategories of abelian categories. From the standpoint of derived categories, one can naturally work with the structure of triangulated categories, which do not have good categorical properties. Lurie [\url{arXiv:math/0608228}] proposed an enhancement for triangulated categories, which is what are called \textit{stable \(\infty\)-categories}. Exact \(\infty\)-categories were introduced by \textit{C. Barwick} [Compos. Math. 151, No. 11, 2160--2186 (2015; Zbl 1333.19003)] as a generalization of ordinary exact categories in the sense of [\textit{D. Quillen}, Lect. Notes Math. 341, 85--147 (1973; Zbl 0292.18004)]. Small exact \(\infty\)-categories together with exact functors between them form an \(\infty\)-category \(\boldsymbol{EX}_{\infty}\) containing as a full subcategory both \begin{itemize} \item the category of ordinary small exact categories and exact functors between them, and \item the \(\infty\)-category \(\boldsymbol{St}_{\infty}\) of small stable \(\infty\)-categories\ and exact functors between them. \end{itemize} This paper constructs a functor \[ \mathcal{H}^{st}:\boldsymbol{EX}_{\infty}\rightarrow\boldsymbol{St}_{\infty} \] called the \textit{stable hull} functor, which is left adjoint to the inclusion \[ \boldsymbol{St}_{\infty}\hookrightarrow\boldsymbol{EX}_{\infty} \] For every exact \(\infty\)-category \(\mathcal{E}\), the unit functor \[ \mathcal{E}\rightarrow\mathcal{H}^{st}(\mathcal{E}) \] is fully faithful, preserving and reflecting exact sequences, which provide…
reviewed by: Hirokazu Nishimura
Mathematics Subject Classification ID: 18N60
Mathematics Subject Classification ID: 18G80
Mathematics Subject Classification ID: 55U35
zbMATH DE Number: 7626020
zbMATH Keywords: exact infinity-category
zbMATH Keywords: stable infinity-category
zbMATH Keywords: bounded derived infinity-category
MaRDI profile type: MaRDI publication profile
arXiv ID: 2010.04957
DOI: 10.4310/HHA.2022.V24.N2.A9
Recommended article: On exact -categories and the Theorem of the Heart
Recommended article: \(t\)-structures are normal torsion theories
Recommended article: Enriched \(\infty\)-categories via non-symmetric \(\infty\)-operads
Recommended article: Stability conditions on morphisms in a category
Recommended article: A short course on ∞-categories
Recommended article: Topoi of parametrized objects
Recommended article: Functorial construction of Frobenius categories
Recommended article: Exact categories
Recommended article: Tannaka duality and stable infinity-categories
Recommended article: A categorified Dold-Kan correspondence
description: scientific article