突き詰めたらIUTがやっているのは点集合に基づいたGeometric morphismの範疇ではない
かといってIUTの各々の宇宙の数学的対象自体はそうした数学的対象になってはいる
問題はその自明でない繋がりが論理的に正しいかどうかで、ショルツは論証されてないと言ってるだけの話