圏論では図式（可換図式）が多用される。図式を使うメリットは何なのか、他の表記と比べて考えてみたい。 続きを読む →