１３．４ モノイド圏での記述 前回の記事で、二項演算を表すための小さい圏の圏(category of small categories)を次のように表した。 この図において、\(f,g\)や\(M(f),M(g)\)などは小さい圏の圏の構成要素には含まれていないので、これを省略することにしよ…