可換図式
数学、特に圏論において、可換図式 () は、対象（あるいは"頂点"）と射（あるいは"矢"、"辺"）の図式であって、始点と終点が同じである図式のすべての向き付きの道が合成によって同じ結果になるようなものである。可換図式は代数学において方程式が果たすような役割を圏論において果たす（Barr-Wells, Section 1.7 を参照）。

図式は可換でないかもしれない、すなわち図式の異なる道の合成は同じ結果にならないかもしれないことに注意する。明確化のために、「この可換図式」(this commutative diagram) あるいは「図式は交換する」(the diagram commutes) といったフレーズが使われる。
Q217413
圏論
Concept
Q1948412
射
Concept
Q843237
図式
Concept
Q217413
合成
Concept
Q3968
代数学
Concept
Q11345
方程式
Concept
Q621542
可換図式
Concept
Q621542
可換図式
Concept
Q621542
可換図式
Concept
2020-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1
DATE
2020-07-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
7
DATE
+1.7^^http://www.w3.org/2001/XMLSchema#decimal
1.7
NUMBER
studies
subclass of
studies
studies
studies
studies
studies
subclass of
studies
studies
subclass of
studies