層の像関手（image functors）は、層理論において、4種類の意味で展開されている。
位相空間の連続写像 f : X → Y に対し、位相空間上のアーベル群の層の圏 Sh(–) が与えられる。 このとき、次の4種類の像関手が導入される。
直接像 f∗: Sh( X ) → Sh( Y ) 逆像 f *: Sh( Y ) → Sh( X ) コンパクトな台 f による直接像 f! : Sh( X )→Sh( Y ) 例外的な逆像 Rf ! : D(Sh( Y )) → D(Sh( X ))
ここで記号「!」は「シュリーク（shriek）」（感嘆符の俗語）と発音されることが多く、シュリークのついた写像は「f シュリーク」と読まれ、シュリークが下付きや上付きである場合は「f lower shriek」や「f upper shriek」とそれぞれ呼ばれる。
例外的な逆像は、一般に導出圏の水準でのみ定義され、同様の配慮がスキーム上のエタール層にも適用されている。 参考文献 treats the topological setting treats the case of étale sheaves on schemes. See Exposé XVIII, section 3.