モニック射
モニック射(monic morphism、monic、mono)
数式で見ると合成の右側の射が同じになるもの
先に合成するものが等しい
図式で見ると射の左側が同じになるもの
定義
射 f：A→ Bがモニック（monic）であるとは，任意の対象 T と任意の射 h：T → Aおよび
k：T → Aに対して，f$ \circ h＝f$ \circ kならば h＝kであることを言う。
https://gyazo.com/5eb03841f1ac022b4e78ef9537f99ece
確認用
Q. モニック射
関連
メモ
調査用
Wikipedia.icon
Wikipedia.icon