Robertsのブログ　-An exercise in colimits, contra Mochizuki-

>Mochizuki is using non-standard definitions of standard terminology,
and then complaining that other people’s definitions (which are the standard ones)
lead to contradictions.

abcの証明に繋がるkey ideaがないが、標準的な用語へ非標準的な定義を使い
scholze.stixレポートのnogo(定理)を避けている