m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 どうやら、米田埋め込みを単位とするモナドがありそうです。ちゃんと構成するのはけっこう大変。このモナドを定義するためのアウトラインを示します。内容： 伝説としての米田モナド 前層構成子の上のモナド： 楽観的な導入 サイズの問題とフレイド／ストリートの定理 相対モナド 相対モナドとしての米田モナド 左カン拡張の存在 残るは 伝説としての米田モナドCを圏として、米田埋め込み〈Yoneda embedding〉yCは、Cから“Cの前層の圏”PSh(C)への関手 yC:C→PSh(C) です。この米田埋め込みyを単位とするモナドがあるらしいという話は、キュリア（Pierre-Louis Curien）の… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20180110%2F1515553121" 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> Hatena Blog https://hatena.blog 2018-01-10 11:58:41 rich https://m-hiyama.hatenablog.com/entry/20180110/1515553121 1.0 100%