>>859
Mからすれば圏論は道具の一つかも知れませんが、そもそも舞台はガロア圏であり、フロベニオイドも一種の圏です
道具どころか圏論はIUT劇場の舞台そのものですよ、そこからホッジ劇場も作っているわけです
結局、Mは個人的な理由で遠アーベル、特に単遠アーベルを使いたかっただけなんですよ
SSが書いているようにクンマー理論による自然同型で十分だったわけです

言い換えると、Mは入れ子式な構造をどうしても作りたかった。その説明として種の言語と突然変異を持ちだした
しかし、扱っている素材（フロベニオイド）と舞台（ガロア圏）は圏論に基づくものだった
ならば圏論と、種の言語と突然変異を混ぜちゃえばいい、という非常に安易で浅はかな考えです

まともな、ちゃんとした数学者でIUTを独創的だと思っている人は私の知る限りでは一人もいませんね
名前を出すのはまずいので書きませんが、SSがフロベニオイドのことをvery elementaryと書き、
充満多重同型とラベルの使用を切り捨てたことについて「当たり前だ」という意見がほとんどです