あと、着想もどうかなあ、と思うんですよね
ホッジ・アラケロフの研究過程でディオファントス幾何への応用を思いついたのはいいのだけど、
最初に出てきたのがグロタンディーク宇宙にまたラッセルのパラドックスを導入して、ループ式入れ子宇宙を作り、
単解的構造で解決しようという試み

その中核として単遠アーベルという手続き・ソフトウェアを考えたのだろうけど、それをIUTで展開するにあたって、
forgetting the “histories of operations”やらタイヒミュラーdilationなどをブチ込んで奇妙な同型を作るわけでしょ
圏論屋に理解してもらうのは無理だし、これを必然的で不可避で自然な論理と言い張るのは強弁というより、
頭おかしいんじゃないかとしか言いようがない