モノイド圏の定義でマックレーンの五角形と三角形が出てきます。最初は何だか意味不明なんですが、マックレーンの五角形／三角形の可換図式は、モノイド圏の肝のひとつです。これらの可換図式をインデックス（パラメータ、全称限量子の束縛変数）なしの等式…