交換圖

一拃映射,唔同路徑嘅複合映射係相等嘅

範疇論入面,交換圖係用嚟表示唔同嘅物件態射同埋佢哋嘅性質(例如萬有性質)嘅工具,通常用頂點嚟代表物件,箭嘴代表態射。

用嚟證明五項補題嘅交換圖

喺幅圖入面,如果將連接任何兩個物件之間唔同嘅路徑上面嘅態射覆蓋埋一齊,得到嘅結果都係一樣嘅話,咁呢個圖就係一幅交換圖。另外,習慣嚟講,實線係代表任意畀咗嘅態射,虛線就係由其他態射整出嚟嘅態射。

例子

  • 如果 嘅話,咁下面呢幅圖就係交換啦: