ScalingStacks

0NLX

Definition 5.12. A sequence of ΞΊ\kappa-cocomplete small stable ∞\infty-categories and ΞΊ\kappa-small colimit preserving functors π’œβ†’β„¬β†’π’ž{\mathcal{A}}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}{\mathcal{B}}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}{\mathcal{C}} is exact if the sequence

Indκ⁑(π’œ)⟢Indκ⁑(ℬ)⟢Indκ⁑(π’ž)\Ind_{\kappa}({\mathcal{A}})\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\Ind_{\kappa}({\mathcal{B}})\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\Ind_{\kappa}({\mathcal{C}})

is an exact sequence of presentable stable ∞\infty-categories.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Andrew J. Blumberg, David Gepner, Goncalo Tabuada

Original source: arXiv:1001.2282v4