2007-03-29 五角形等式 モノイド圏 説明 厳密とは限らないモノイド圏における五角形等式を絵に描いてみた。4つの対象の積の作り方は実際5種類ある。結合性(associativity)で直接に(1ステップで)移れるものは五角形の辺で結ばれる。隣り合ってない頂点は、2つの辺、または3つの辺を経由して移るのだが、その移り方の経路によらずに同じ結果を与える。