正しいと思ってやってるのは間違いないよ。一種の賭けだよね
普通の圏論じゃ理論が成り立たない事は早い段階でGさんが認識してるから（Geometric morphismを超えた
レベルの話をしていると認めている。これは実質的に圏論では処しきれないと言うに等しい）
実際、圏論では宇宙の話は出てくるけど宇宙を取り換えるなんて話は当然出てこないしね