观念
许多代数结构 (环, 模, 交换代数等) 可在生象语境中谈论, 例如生象环; 此时其构成的范畴 (例如 $\mathsf{AniRing}$) 与集合语境中的相应范畴 (例如普通环的范畴 $\mathsf{Ring}$) 有特定的联系, 这种联系就是生象化. 代数范畴的生象化给出生象语境中的代数概念; 不过生象化不局限于代数范畴.
生象化的稳定化是导出范畴的非 Abel 类比.
“生象化” 这个名字来自 Dustin Clausen (见 Cesnavicius–Scholze 的致谢部分).
定义
设 $\mathcal C$ 为余完备紧生成 $(1,1)$-范畴, 其生象化 (animation) $\mathsf{Ani}(\mathcal C)$ 定义为 $\mathcal C^{\mathrm{cpt}}$ 在筛余极限下自由生成的 $(\infty,1)$-范畴, 也即 $\mathsf{Fun}((\mathcal C^{\mathrm{cpt}})^{\mathrm{op}},\mathsf{Ani})$ 中由可表函子在筛余极限下生成的子范畴.
例
生象的范畴 $\mathsf{Ani}$ 是集合范畴 $\mathsf{Set}$ 的生象化.
生象环的范畴 $\mathsf{AniRing}$ 是环范畴 $\mathsf{Ring}$ 的生象化.