g∘f=h、f→gと行ってもhで行っても同じとき、可換という そのような図式を可換図式という 始域と終域が同じだからと言って、そのような射が可換とは限らない だから可換図式が大事 射はドメインとコドメインで決まるわけではない 圏論では射と射が同じであることをよく証明するので、可換図式を使う