epi 射
epic。epimorphism。全型射
エピ射 - Wikipedia
epimorphism in nLab
圈
の射
$ f:X\twoheadrightarrow Y
は、反圖式順で
右簡約律
$ g_1\circ f=g_2\circ f\implies g_1=g_2
を滿たすならば
epi 射
である
圈論的雙對
は
mono 射
集合の圈
で
epi 射
は
全射
である
mono 射
は多くの
圈
で
單射
っぽいが、
epi 射
は多くの
圈
で
全射
っぽく振る舞はない