双积
在范畴论中,双积是直积在预加法范畴中的推广,它同时是范畴论意义下的积与上积。
令 为预加法范畴,因而任两个对象
间的态射集
是交换群。给定有限个对象
,假设有:
- 对象
,通常表作
。
- 态射
(称为射影)
- 态射
(称为内射)
并假设:
则称 是
的双积。
注意到若在定义中取 ,则「空双积」是一个对象
,使得恒等映射是零映射。
英汉双解词典包含3607232条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。