「反ラックス・モノイド関手の一般余結合律」における二分木〈バイナリーツリー〉の扱いが不十分だったので補強します。目的の計算を実行するために*1、色々と準備が必要ですな。内容： 目論見違い BUNツリー 伸縮同値関係 オペラッド＝複圏 オペラッド＝複…