零态射

百科含义

零态射(zero morphism)是有零对象的范畴中的一类特殊态射。许多常见范畴，如群范畴、环范畴、环模畴等，将它们的零同态概念抽象出来即得零态射的概念，它在范畴论中起着相当重要的作用。设范畴C有零对象(在等价意义下必惟一)Z，Hom(A，Z)与Hom(Z，B)的惟一元素分别为0AZ和0ZB。其合成0ZB0AZ不随Z的选择而改变，记此合成为0AB，称为Hom(A，B)中的零态射，对取定的A，B，这是惟一的，有时也简记为0。