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

{{InfoBox
|name=满态射
|eng_name=epimorphism
|aliases=epic morphism,满态
}}
'''满态射'''('''epimorphism''')指[[范畴]]中右[[可消去]]的态射。

== 定义 ==

对范畴 <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} (B, Z)</math> 中的任意态射 <math>\beta',\beta''</math> ，有 <math>\beta' f = \beta'' f \rightarrow \beta' = \beta''</math> ，则称态射 <math>f</math> 是'''满态射'''/'''满态'''('''epimorphism''')，也称 <math>f</math> 是满的('''epic''')。


{{范畴论}}