Wiki. 景的态射 [景的态射]

景的态射 $f\colon (\mathcal C,J) \to (\mathcal D,K)$ 是诱导意象之间的几何态射 $$ f\colon \operatorname{Sh}(\mathcal D,K) \to \operatorname{Sh}(\mathcal C,J) $$ 的函子 $f\colon \mathcal C\to\mathcal D$.

注意这个态射的方向和 $f\colon \mathcal C\to\mathcal D$ 的方向相反.

(todo)