>>47
あっ、自分の事だとは思わずに軽くスルーしてましたw
そうです合ってます
そういう方向で考えるなら、圏論やトポスの記述を、HTTなどとは別に上手く拡張することになるでしょうし、
一旦IUTが正しいと仮定したら十分に可能でしょう
例えば群とトポスや情報工学の観点から集合や宇宙を一般化する、というのは哲学的に非常に興味深いとは
思いますね。怪しいけども一種の形而上学というか
しかし、何処まで遠アーベル幾何学というものをそうした一般論から切り離せるのかは素朴にはよくわからない

尤も、別にIUTがそういう基礎論的な企てを独占するべきでもなく、勝手に誰かがやってもいいんですがね