可換
$$\begin{CD}A @>{f}>> B\\@V{h}VV @V{g}VV \\ D @>{k}>> E \end{CD}$$射 $A \longrightarrow E$ の等式 \[g \circ f = k \circ h\]が成り立つとき,上の射の図式は可換[commutative]という.
定義：可換[commutative]
図式における射や,その射の合成として得られる射に関して,域と余域とがそれぞれ等しい射が互いに等しいとき,その図式は可換[commutative]であるという.
Mathematics is the language with which God has written the universe.
