圏論続き。 図式(diagram) 圏論では、h = f.g のことを、hとf.gは「可換」といいます。 圏Setでは、{(x,h(x))|∀x} と {(x, f(g(x)))|∀x}が等しいことを指します。 射それぞれf:Y->Z, g:X->Y, h:X->Zとすると、 という「図式」が書けます。図式は以下の性質を…