查看“︁单态射”︁的源代码

{{InfoBox
|name=单态射
|eng_name=monomorphism
|aliases=monic morphism,单态
}}
'''单态射'''('''monomorphism''')指[[范畴]]中左[[可消去]]的态射。

== 定义 ==

对范畴 <math>\mathscr{C}</math> ，态射 <math>f\in \mathrm{Hom}_\mathscr{C} (A, B)</math> ，若对 <math>\mathscr{C}</math> 中任意对象 <math>Z</math> 及 <math>\mathrm{Hom}_\mathscr{C} (Z, A)</math> 中的任意态射 <math>\alpha',\alpha''</math> ，有 <math>f\alpha' = f\alpha'' \rightarrow \alpha' = \alpha''</math> ，则称态射 <math>f</math> 是'''单态射'''/'''单态'''('''monomorphism''')，也称 <math>f</math> 是单的('''monic''')。


{{范畴论}}