楔、余楔

来自GSXAB的知识库
术语名称
英语名称 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);
wedge.svg
  • 若有对象 [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)。
cowedge.svg

也称为指向(to)两个对象的楔和由(from)两个对象的楔。


范畴态射
基本概念 范畴 态射、交换图
态射 单态射满态射 双态射
分裂单态射分裂满态射收缩、截面 同构
泛在结构、泛性质
终端对象 始对象、终对象 零对象零态射
泛在结构 切片范畴、余切片范畴 -
楔、余楔·楔范畴、余楔范畴 积、余积
锥、余锥·锥范畴、余锥范畴 极限、余极限
- 等化子、余等化子
- 核、余核