查看“︁楔、余楔”︁的源代码

[[分类:范畴论]]
{{InfoBox
|name=楔
|eng_name=wedge
}}
{{InfoBox
|name=余楔
|eng_name=cowedge
|aliases=co-wedge,corner
}}
[[范畴]]中两个给定对象的'''楔'''('''wedge''')是指，若存在从某个同一对象有分别指向这两个对象的态射，这第三个对象与两个态射共同构成的结构。

范畴中两个给定对象的'''余楔'''('''cowedge''')是指，若存在分别由两个对象到某个同一对象的态射，这第三对象与两个态射共同构成的结构。

对于超过两个对象且要求可交换的情况，一般称为[[锥、余锥]]。

== 定义 ==

对范畴 <math>\mathscr{C}</math> 及其中对象 <math>A, B</math> ：
* 若有对象 <math>X</math> 及态射 <math>f: X\to A, g: X\to B</math> ，则 <math>\langle X, f, g\rangle</math> 称为对象 <math>A, B</math> 的'''楔'''('''wedge''')；
:: {{GiteaSvg|wedge}}
* 若有对象 <math>Y</math> 及态射 <math>f: A\to Y, g: B\to Y</math> ，则 <math>\langle Y, f, g\rangle</math> 称为对象 <math>A, B</math> 的'''余楔'''('''cowedge''')。
:: {{GiteaSvg|cowedge}}

<blockquote>
也称为指向（to）两个对象的楔和由（from）两个对象的楔。
</blockquote>


{{范畴论}}