AI擅长干翻译这活

【 在 z16166 的大作中提到: 】
: Scholze 对推论 3.12 的致命一击，用类型论的视角来解释非常清晰：他认为望月新一在这里进行了一次非法的、没有显式实现的类型转换（Type Cast）。
: IUTT 的核心概念是构造了多个不同的“数学宇宙”（每个宇宙里有一套自己的加法和乘法运算），并在这些宇宙之间传递度量。
: Scholze 指出，在推论 3.12 的某个关键步骤中，望月把一个宇宙中的几何对象，直接当成了另一个宇宙中的对象来计算不等式。在 Scholze 看来，这两个对象处于完全不同的范畴（Category），它们之间不存在能够无损传递这种度量信息的函子（Functor）或同构。
: ...................
--
FROM 101.24.96.*