m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 10日前に書いた記事「行列の圏のなかでモノイドを探す」のなかで： 「行列の係数を、ブール半環 B から取らないとウマくいかない」は間違いでした。僕が、別な事例と混同してました。係数は半環（一例：自然数半環）なら何でもいいです。 僕が混同していた「別の事例」とは何でしょうか？ それは、この記事の表題である 行列の圏のなかで（モノイドではなくて）モナドを探す 事例でした。行列の圏のなかには、モノイドが居ました（それが「行列の圏のなかでモノイドを探す」の主題）。モノイドの場合は、対象（自然数）n に対して、n を台〈underlying object〉とするモノイドは1個しかありませんが、モナドはも… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2020%2F01%2F31%2F162030" title="行列の圏のなかでモナドを探す - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://www.chimaira.org/img5/sample-graph.png Hatena Blog https://hatena.blog 2020-01-31 16:20:30 rich https://m-hiyama.hatenablog.com/entry/2020/01/31/162030 1.0 100%