補題
f：X → Y が単射であるためには次の図式が引き戻し四角形(過去スレ017の866)
であることが必要十分である。


　1_X
X　 → X
↓1_X　↓f
X　 → Y
　　f

証明
自明である。