楔、余楔
楔 | |
---|---|
术语名称 | 楔 |
英语名称 | wedge |
余楔 | |
---|---|
术语名称 | 余楔 |
英语名称 | cowedge |
别名 | co-wedge, corner |
范畴中两个给定对象的楔(wedge)是指,若存在从某个同一对象有分别指向这两个对象的态射,这第三个对象与两个态射共同构成的结构。
范畴中两个给定对象的余楔(cowedge)是指,若存在分别由两个对象到某个同一对象的态射,这第三对象与两个态射共同构成的结构。
对于超过两个对象且要求可交换的情况,一般称为锥、余锥。
定义
对范畴 [math]\displaystyle{ \mathscr{C} }[/math] 及其中对象 [math]\displaystyle{ A, B }[/math] :
- 若有对象 [math]\displaystyle{ X }[/math] 及态射 [math]\displaystyle{ f: X\to A, g: X\to B }[/math] ,则 [math]\displaystyle{ \langle X, f, g\rangle }[/math] 称为对象 [math]\displaystyle{ A, B }[/math] 的楔(wedge);
- 若有对象 [math]\displaystyle{ Y }[/math] 及态射 [math]\displaystyle{ f: A\to Y, g: B\to Y }[/math] ,则 [math]\displaystyle{ \langle Y, f, g\rangle }[/math] 称为对象 [math]\displaystyle{ A, B }[/math] 的余楔(cowedge)。
也称为指向(to)两个对象的楔和由(from)两个对象的楔。
范畴、态射 | ||
---|---|---|
基本概念 | 范畴 | 态射、交换图 |
态射 | 单态射、满态射 | 双态射 |
分裂单态射、分裂满态射(收缩、截面) | 同构 | |
泛在结构、泛性质 | ||
终端对象 | 始对象、终对象 | 零对象、零态射 |
泛在结构 | 切片范畴、余切片范畴 | - |
楔、余楔·楔范畴、余楔范畴 | 积、余积 | |
锥、余锥·锥范畴、余锥范畴 | 极限、余极限 | |
- | 等化子、余等化子 | |
- | 核、余核 |