交換圖表

在數學領域，尤其是範疇論中，通常使用以對象為頂點、態射為邊的交換圖表來直觀的表達一些性質，尤其是泛性質。

在圖表中，複合連接任意兩個對象的不同路徑上的態射，所得的結果均相等，則稱此圖表可交換。同時，按照慣例，實線通常表示任意給定的態射，虛線則表示存在或唯一存在的態射。

舉例

• 下面的正方形為可交換，如果滿足條件：y o w = z o x。

• 如下表明積的泛性質的圖表可交換。此圖表意味着，對任意存在態射f₁ : Y → X₁和f₂ : Y → X₂的對象Y，在同構的意義下，存在唯一態射f，滿足：

π₁ o f = f₁

π₂ o f = f₂