蛇足ですが

あれだけ膨大な論文の意味を短いレスで処理できるわけがないんだけど、第三論文でそれこそ気違いみたいに
「分裂モノイド」の話をしてる理由は、大体12ページに書いてありましたね
勿論ある程度理解していないと読んでも全くわからない書き方だけど、要するにスキーム構造を
忘れて計算する（できる）理由ですね
勿論、「そもそも何故入れ子構造を使うんだっけ？」というのも一つの問題です。あまり複雑な理論だから
別の事をやってると忘れますねw

あと、IUT全体が（∞,1）で閉じれる、閉じるべきというわけでは必ずしもないですね。そういう言い方はまずい
あくまでもAnabelioidの話です
むしろ理論をそっちで書き直したら閉じれないでしょうね