generated at
2/21/2025, 9:05:43 PM
エピ射
epimorphism
エピック射
epic morphism
モノ射
定義
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
と書く
言い換えると
マエ簡約可能
押し出し
との関係