m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 雑感 本編にて： モナド結合律とモナド単位律が、通常の（例えば整数の掛け算の）結合律・単位律とほんとに同類であることを納得するには、相当に抽象的な定式化が必要です。 どのくらい抽象度を上げればいいのか？ モノイド圏（monoidal category）のモノイド対象を持ち出さないと、自信を持って「同類である」とは言えないだろうな。モナドとモノイドは発音が似てるけど、実際、モナドはとある圏のモノイドになっている。この事情が分かれば、モノイドつながりで「同類である」ことになる。ところで、モノイド圏は、圏の圏におけるモノイド対象になっている。圏の圏でモノイド対象が定義できるってことは、圏の圏がモノイド圏っ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20060414%2F1145007216" title="モナドとモノイド - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2006-04-14 18:33:36 rich https://m-hiyama-memo.hatenablog.jp/entry/20060414/1145007216 1.0 100%