generated at
モノ射
monomorphism
モニック射
monic morphism

dualエピ射

definition モノ射 \left\lang f\colon a \rightarrowtail b \right\rang
\coloneqq \left\lang\mathrm{ Monomorph }\colon a,b;f\right\rang in C
継承
射
\left\lang\mathrm{ Morph }\colon a, b; f \right\rang in C
公理系
ウシロ簡約可能
\forall x \colon C
\forall g_1,g_2\colon x\to a
g_1;f=g_2;f \Rightarrow g_1=g_2

引き戻しとの関係
f\colon a\rightarrowtail b\iff下図が引き戻し
よって右随伴函手と極限の交換から
モノ射は右随伴函手により保存される