順像関手
数学の層論や代数幾何学の分野に現れる順像関手(じゅんぞうかんしゅ、英: direct image functor)とは、層の切断の概念を相対的な場合へ一般化するものである。