21/06/20 09:00:52.00 13yA71vw.net
URLﾘﾝｸ(thehighergeometer.wordpress.com)
下のPedroコメントで、、
1)I think you are wrong in saying that, “as all points are identified, then any space collapses to one point also” precisely because the skeletal category of topological spaces also contains its morphisms.
→スケルトンの§2.3(i)は正しいと認めたが、§2.3(ii)とは比喩とコメント返。
2)Mochizuki’s example is correct in the sense that identifying objects (essentially all k-dimensional spaces —I know this is not so, but bear with me—) may perfectly limit the reasoning because the “quotient” category may have much less information (objects and maps) than the original one.
→圏の商も、圏の情報を失わないのでは、とコメント返。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(Hokudai%202003-11).pdf
で、商（圏/圏の同値）の極限(dx)を得て積分するのがIU幾何のアイデアであり、商を使うのは、これは理論の前提。
圏の情報が失なわれないなら、ラベルは要らない、だけど。
いずれにせよ、BrohomologyのRedditのように、
論文を読んだ誰かのブログで荒れて、介入に至るようになり、
反証が確かなギャップでないと、望月以外に回答する、状況が変化しているね。