現代数学を劇的に抽象化への道に導くブルバキ筆頭カルタンの層の理論の
先駆的な仕事をした岡潔と
圏論関係によくありがちな「人工的な域を出たかどうか定かではない」
離れ小島の膨大な理論に（まだ）過ぎないIUTのモッチーを同列に
語るのは時期尚早