ちゃんと調べてみよう、もう一度

• モノイド圏の別な公理化

これは、End(C)をモノイド圏とみなすとき、自然変換の水平結合（横結合）が難しいので、その難しさを緩和するために作った公理系。 … のはず。

ペースティング図（globular図）、ストリング図と一緒に使えばそれなりに役立つはずだと思う。もう一度確認・整理すべし。