单位态射
| 单位态射 | |
|---|---|
| 术语名称 | 单位态射 |
| 英语名称 | identity morphism |
| 别名 | 恒等态射, 单位箭头, identity arrow, 恒等箭头 |
单位态射(identity morphism)是范畴定义中的一部分，其中态射的合成运算要求每个对象上都有一个到自身的单位态射。一般情况下，对象 [math]\displaystyle{ A }[/math] 上的单位态射记作 [math]\displaystyle{ 1_A }[/math] 。
| 范畴、态射 | ||
|---|---|---|
| 基本概念 | 范畴 | 态射、交换图 |
| 态射 | 单态射、满态射 | 双态射 |
| 分裂单态射、分裂满态射（收缩、截面） | 同构 | |
| 泛在结构、泛性质 | ||
| 终端对象 | 始对象、终对象 | 零对象、零态射 |
| 泛在结构 | 切片范畴、余切片范畴 | - |
| 楔、余楔·楔范畴、余楔范畴 | 积、余积 | |
| 锥、余锥·锥范畴、余锥范畴 | 极限、余极限 | |
| - | 等化子、余等化子 | |
| - | 核、余核 | |