歪みの計算はあの不等式に直接関わっている
それで、あの不等式は格子に宇宙を位置付ける記法、計算に依存している
望月がショルツらの指摘が単純だと言ってるのは、突き詰めれば
あたかも普通の点集合の対象と射について話を処理してるように見えるからだよ

IUTが殆ど出鱈目と決め付けてる人間こそプロパー（って何？w）ではないだろ
有意味か否かギリギリの所で論争してるんだぞ