双态射
双态射 | |
---|---|
术语名称 | 双态射 |
英语名称 | bimorphism |
别名 | 双态 |
双态射(bimorphism)指范畴中合成法则下一个态射既是单态射又是满态射。
定义
对范畴 [math]\displaystyle{ \mathscr{C} }[/math] ,态射 [math]\displaystyle{ f }[/math] ,若 [math]\displaystyle{ f }[/math] 既是单态射又是满态射 ,则称态射 [math]\displaystyle{ f }[/math] 是一个双态射/双态(bimorphism)。
范畴、态射 | ||
---|---|---|
基本概念 | 范畴 | 态射、交换图 |
态射 | 单态射、满态射 | 双态射 |
分裂单态射、分裂满态射(收缩、截面) | 同构 | |
泛在结构、泛性质 | ||
终端对象 | 始对象、终对象 | 零对象、零态射 |
泛在结构 | 切片范畴、余切片范畴 | - |
楔、余楔·楔范畴、余楔范畴 | 积、余积 | |
锥、余锥·锥范畴、余锥范畴 | 极限、余极限 | |
- | 等化子、余等化子 | |
- | 核、余核 |