m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 「反ラックス・モノイド関手の一般余結合律」における二分木〈バイナリーツリー〉の扱いが不十分だったので補強します。目的の計算を実行するために*1、色々と準備が必要ですな。内容： 目論見違い BUNツリー 伸縮同値関係 オペラッド＝複圏 オペラッド＝複圏の法則 複ホムセットの亜群構造 複結合が亜群準同型射になること BUNツリーとマックレーン変形が作る構造 最初の記事（シリーズ目次あり）： 準マルコフ圏からなる2-圏 次の記事： 反ラックス・モノイド余モナド： 記号の使用・乱用 再考 前の記事： 反ラックス・モノイド余モナドの余クライスリ圏 その1 目論見違い「反ラックス・モノイド関手の一般余結合… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2021%2F10%2F06%2F140150" title="BUNツリーの亜群オペラッド構造 - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://www.chimaira.org/img5/BUN-tree.png Hatena Blog https://hatena.blog 2021-10-06 14:01:50 rich https://m-hiyama.hatenablog.com/entry/2021/10/06/140150 1.0 100%