交换图

维基百科，自由的百科全书

在数学领域，尤其是范畴论中，通常使用以对象为顶点、态射为边的交换图来直观的表达一些性质，尤其是泛性质。

在图中，复合连接任意两个对象的不同路径上的态射，所得的结果均相等，则称此图可交换。同时，按照惯例，实线通常表示任意给定的态射，虚线则表示唯一存在的态射。

[编辑] 举例

• 下面的正方形为可交换，如果满足条件：y o w = z o x。

• 如下表明积的泛性质的图可交换。此图表示，对任意存在态射f₁ : Y → X₁和f₂ : Y → X₂的对象Y，上至同构，存在唯一态射f，满足：

π₁ o f = f₁

π₂ o f = f₂