エピ射
epimorphism
エピック射
epic morphism
dual.icon
モノ射
定義
$ f\colon a→b
がエピ射
$ \iff
$ \forall g_1,g_2\colon b\to x
$ f; g_1=f;g_2 \Rightarrow g_1=g_2
$ f\colon a \twoheadrightarrow b
と書く
言い換えると
マエ簡約可能
押し出し
との関係