Wiki. 逆像 [逆像]

逆像 (inverse image) 是指意象的几何态射的左伴随部分.

定义

对于景的态射 $f\colon (\mathcal C,J) \to (\mathcal D,K)$, 定义 $(\mathcal C,J)$ 上的层 $F$ 的逆像 $f^*F$ 为 $$ f^*F(d) = \operatorname{colim}_{f(c) \to d} F(c), $$ 也即沿 $f$ 的左 Kan 扩张.

相关概念

拓扑空间上的直像-逆像伴随