モニック射
モニック射(monic morphism)
射 f:A→ Bがモニック(monic)であるとは,任意の対象 T と任意の射 h:T → Aおよび
k:T → Aに対して,f
$ \circ
h=f
$ \circ
kならば h=kであることを言う。
ref:
『圏論と構造主義』
P35
https://gyazo.com/5eb03841f1ac022b4e78ef9537f99ece
確認用
Q. モニック射
メモ
モノ射 - mrsekut-p
【圏論メモ】圏 Set の上でモニック/エピックと単射/全射が同値であることの証明 #圏論 - Qiita
調査用
Google.icon
モニック射(日)
Google.icon
Monic morphism(英)
Wikipedia.icon
モニック射 - Wikipedia(日)
モニック射(検索) - Wikipedia(日)
Wikipedia.icon
Monic morphism - Wikipedia(英)
Monic morphism(検索) - Wikipedia(英)