m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 「準マルコフ圏からなる2-圏」からはじまる一連の記事を書いているのですが、これらの記事の目的は「準マルコフ圏からなる2-圏内の余モナドの余クライスリ圏を調べる」ことです。この記事のタイトルの「余計な話かも知れない」とは、上記の目的には不要かも知れない、ということです。特定の目的に対して、一般論がどの程度必要かの判断は難しいですね。「BUNツリーの亜群オペラッド構造」の最初の節は「目論見違い」ですが、これは、「亜群オペラッドは不要だと思っていたがどうも必要そうだ」ということでした。現状では、BUNツリーの亜群オペラッドに少し補足をすれば上記の目的には十分だろうと思ってます。もしそうならば、亜群オ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2021%2F10%2F08%2F192401" title="余計な話？ 厳密2-亜群オペラッドとモノイド圏 - 檜山正幸のキマイラ飼育記 (はてな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 2021-10-08 19:24:01 rich https://m-hiyama.hatenablog.com/entry/2021/10/08/192401 1.0 100%