環 R 上の左加群のなす圏 を (R-Mod) と書く。
(R-Mod) はアーベル圏である。

(R-Mod) の射 X → Y の全体 (R-Arrows) を考える。

X → Y から Z → W への射を、次の可換図式として定義する。

X → Y
|    |
v   v
Z → W

(R-Arrows) は容易にわかるがアーベル圏である。

ここで問題:
(R-Arrows) における射影対象(または単射的対象)は何か?