mono 射
monic。monomorphism
モニック射 - Wikipedia
monomorphism in nLab
圈
の射
$ f:X\hookrightarrow Y
は、反圖式順で左簡約律
$ f\circ g_1=f\circ g_2\implies g_1=g_2
を滿たすならば
mono 射
である
集合の圈
で
mono 射
は
單射
である