1. 概述 于 范畴论 中, 余锥 是 锥 的对偶：它从 图式 的各对象相容地映向同一个顶点对象. 2. 定义 定义 1 (余锥) 设 为 图式. 称对象 与态射族 为 上的 余锥, 当对任意态射 , 下图交换： \xymatrix{ D(i) \ar[rr]^{D(\alpha)} \ar[rd]_{\nu_i} & & D(j) \ar[ld]^{\nu_j} \\ & N & } 3. 例子 例子 2 (余积余锥) 对离散的双对象 图式 , 从 指向同一对象的两个态射构成 余锥；其中始端的余锥就是 余积. 4. 相关性质 命题 3 (余锥的复合) 若 为 余锥, 为 态射, 则 也是余锥. 证明 4 (余锥的复合) 余锥 的复合是 锥 的复合性质在 对偶范畴 中的对应命题. 5. 相关概念 余极限； 锥. 6. 术语翻译 中文英文余锥cocone 范畴论