集合 X 的对角映射是指映射ΔX:Xx⟶X×X,⟼(x,x).一般地, 对任何自然数 n, 对角映射也可以指映射ΔX:Xx⟶Xn,⟼(x,…,x),其中 Xn 是 X 的 n 重 Descartes 积.
在范畴论中, 对角映射可以推广到对角态射.
相关概念
对角映射 • 英文 diagonal map • 德文 diagonale Funktion • 法文 application diagonale • 拉丁文 adhibitio diagonalis • 古希腊文 διαγώνιος ἀπεικονισμός