Wiki. 逆像 [逆像]

景的态射 $f\colon (\mathcal C,J) \to (\mathcal D,K)$ 诱导的意象之间的几何态射的左伴随部分 $f^*\colon \operatorname{Sh}(\mathcal C,J) \to \operatorname{Sh}(\mathcal D,K)$ 称作逆像 (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 扩张.

相关概念

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