モノイドがなぜ圏なのか?