像 (圏論)

圏 と における射 formula_1 が与えられたとき， の像（ぞう，）は単射 formula_2 であって以下の普遍性を満たすものである：
注意：
 の像はしばしば あるいは と記される。
例.
集合の圏において射 formula_7 の像は通常の像 formula_8 から への包含である。群の圏やアーベル群の圏や（左または右）加群の圏など多くのにおいて、射の像は集合の圏における対応する射の像である。
零対象とすべての射に対して核と余核を持つ任意のにおいて、射 の像は 
と表せる。アーベル圏（これはとくに双正規である）において が単射ならば であり、したがって である。