n实验室共对角线(变化)

显示从第7版到第8版的更改:补充|远离的|ged公司

目录

定义

对于对象 X(X)X(X)在一个类别具有副产品,的共对角的属于X(X)X(X)(或褶皱变形)是规范的同构

:X(X)X(X)([身份证件,身份证件)]X(X).\纳布拉:X\sqcup X\stackrel{(Id,Id)}{\到}\stackrel{[Id,Id]十、。}{\到}X(X)

这个鉴于二重的通过概念合作与自身的同一态射。双重概念是对角线的.更多一般来说,可以考虑这个迭代的共对角线的

在一个笛卡尔双范畴 B类\矩阵{B},这对术语对角线的,共对角线的参考标准乘法Δ:X(X)X(X)X(X)\增量:X\到X\音符X和双重乘法=Δ *:X(X)X(X)X(X)\nabla=\Delta_*:X\otimes X\到X在任何对象上。虽然乘法不是真正的对角线(因为\奥蒂姆在中不是笛卡尔积B类\矩阵{B}),当被视为属于的子类别时,它是对角线地图(左邻接),其中的限制\奥蒂姆地图(B类)地图(\mathbf{B})成为2-产品同样,\纳布拉不是真正的对角线B类\矩阵{B}但当它被视为属于地图(B类) 操作映射(\mathbf{B})^{op},的相反的通过反转获得11-单元格,但不是22-单元格。

:X(X)X(X)X(X)[身份证件,身份证件,,身份证件]X(X).\nabla:X\sqcup X\sqcup\cdots\sqcup X-stackrel{[Id,Id,\ldots,Id]}{\to}X。

在一个笛卡尔双范畴 B类\矩阵{B},这对术语对角线的,共对角线的参考标准乘法Δ:X(X)X(X)X(X)\增量:X\到X\音符X和双重乘法=Δ *:X(X)X(X)X(X)\nabla=\Delta_*:X\otimes X\到X在任何对象上。虽然乘法不是真正的对角线(因为\奥蒂姆在中不是笛卡尔积B类\矩阵{B}),当被视为属于的子类别时,它是对角线地图(左伴随词),其中的限制\奥蒂姆地图(B类)地图(\mathbf{B})成为2产品同样,\纳布拉不是真正的对角线B类\矩阵{B}但当它被视为属于地图(B类) 操作映射(\mathbf{B})^{op},的相反的通过反转获得11-单元格,但不是22-单元格。

可能的混淆

术语“余对角线”有时也用于双单纯形集。有关此用法,请参见全单形集,在该条目中。

上次修订时间:2023年3月6日23:53:48。请参阅历史获取所有贡献的列表。