モノ射
definition.icon モノ射 $ \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 下図が引き戻し https://gyazo.com/bd007950157ed62d2174f96adba9d12f