可換
$ a,bが群$ Gの元で、$ ab=baが成り立つ時、$ a,bは可換である、という
群$ Gの任意の元$ a,bが可換なら、$ Gをアーベル群という 以下の可換図式の$ A\rightarrow Eの射について、$ gf=jihとなるが、こんなふうに2つ以上の経路が等しいこと https://gyazo.com/4857584486d35de7811e951480aa648e
ある対象$ Aから対象$ Bへ複数の射があった場合、それらは等しいこともあるし、異なるもののこともある
等しい場合が可換図式
上図での$ A\rightarrow B\rightarrow Eと$ A\rightarrow C\rightarrow D\rightarrow Eは「等しい」