順像関手
同様の定義はエタール層のようなトポスの上の層に対しても適用できる。この場合、上述の原像 f(U) の代わりに Y についての U と X のファイバー積(英語版)が用いられる。