Wiki. ∞-意象 [∞-意象]

观念

$\infty$-意象是意象$\infty$-范畴语境中的相应概念.

定义

Grothendieck ∞-意象是 (取值于 $\mathsf{Ani}$ 的) 预层范畴正合局部化.

$\mathsf{Ani}$ 是最基本的 $\infty$-意象.

性质

Giraud 公理