形态主义

形态是抽象中两个对象之间的映射类别.

1.一般态射称为同态,

2.一个态射在一个类别是一个单态如果，对于任何两个态射,意味着,

3.一个态射在一个类别是一个满态如果，对于任何两个态射,暗示,

4.双射态射称为同构（如果两个对象之间存在同构，则称其为同构），

5.从对象到其自身的满射态射称为自同态,和

6.安同构在对象和自身之间是称为自同构.