順像関手
Y が点であるなら、順像関手は大域切断関手(英語版)と等しくなる。f: X → Y をある位相空間での連続写像あるいはスキームの射とする。このとき例外逆像(exceptional inverse image)は関手 f: D(Y) → D(X) である。