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 射である
圈論的雙對は epi 射
集合の圈で mono 射は單射である