>>526
まあそういうことですね
アナベリオイドの幾何学でも、IUT初期構想でも初めからラベルの話が出てきます
ラベルの使用を前提にすれば圏、トポス、グロタンディーク宇宙を使って充満多重同型なるものができると考えたのでしょうね
両者は切っても切れないわけです

で、SSのように充満多重同型を切って捨てれば当然ラベルも切って捨てることになる
また同じ話の繰り返しですねｗ

要するに、圏、トポス、グロタンディーク宇宙で充満多重同型＋ラベルを使えばsimulate a∈a、loops of mutationsが可能となり、
ディオファントス幾何の難問に取り組むことができると考えたのでしょう

以前、「充満多重同型を認めて初めてラベルの問題になる」と書いたことがありますが、
おそらく着想から言えば逆で、「ラベルを前提にして充満多重同型を必要・有意味なものにする」と言う方が正しいのでしょうね