行列の圏のなかでモノイドを探す (C A10)

別なブログに書いたが、このシリーズの記事なので、エントリーを設けてリンクだけ記述しておく。