像 (圏論)
集合の圏において射 f : X → Y {\displaystyle f\colon X\to Y} の像は通常の像 { f ( x ) ∣ x ∈ X } {\displaystyle \{f(x)\mid x\in X\}} から Y への包含である。群の圏やアーベル群の圏や(左または右)加群の圏など多くの具体圏(英語版)において、射の像は集合の圏における対応する射の像である。
零対象とすべての射に対して核と余核を持つ任意の正規圏(英語版)において、射 f の像は
im f = ker coker f
と表せる。アーベル圏(これはとくに双正規である)において f が単射ならば f = ker coker f であり、したがって f = im f である。