24/07/19 00:10:47.02 4JXTr3bL.net
>>861の結果は望月教授の定義は真逆で非標準的でオレ様定義だ。
>I maintain, with good reason, that the type of reasoning in the note is
what the so-called ‘RCS’ is doing. It is standard category theory and standard
mathematics. There is no linguistic trickery or confusion or
deeply detrimental disruptions here.
Mochizuki is using nonstandard definitions of standard terminology, and then complaining
that other people’s definitions (which are the standard ones) lead to contradictions.
They really don’t, if one doesn’t insist on trying to ignore the differences,
and I don’t understand why he persists in it.
・D.Roberts .An exercise in colimits, contra Mochizuki
URLﾘﾝｸ(thehighergeometer.wordpress.com)