>>139

”TARO-NISHINOの日記
識別の危機”
ラベルに関係するけど、”キャテグリ理論”ｗ
ワークショップでは
これにも、ちゃんと答えを、直裁に出してください
よろしく

（参考）
http://taro-nishino.blogspot.com/2019/03/blog-post070.html
TARO-NISHINOの日記
識別の危機
3月 24, 2019
(抜粋)
今回紹介するのはディヴィド・マイケル・ロバース博士が書いた記事"A Crisis of Identification"です。ロバース博士と言えばショルツ、スティクス両博士のリポートが公開された直後からキャテグリ論の専門家として非常に冷静な分析をされていたことに私は感心してましたから直ぐに記事を読みました。

ロバース博士の記事はもう完全に数学を前面に出しています。

前置きはこれくらいにして、この記事の私訳を以下に載せておきます。なお著者の注釈欄を省いていますが、注釈へのインデクスはそのままです。

キャテグリ理論
そんな構造を厳密にする現代的方法がキャテグリ理論だ35。

ショルツとスティクスが彼等の懸念を述べている10ペィジの覚書は(予備知識があれば)詳細な審査リポート37のように読める。彼等の批判の中で、問題の核心を得ていると思える"ある過激な簡略化"に彼等は訴えているが、"そんな簡略化は望月の証明の中核を形成する興味深い数学全体を?奪しているかも知れない"38ことも彼等は知っている。
彼等は議論を簡略化するための目的で同型オブジェクトを同一視することを認めて来ている。
異なるが同型な2つの数学オブジェクトを望月が与えている所では、ショルツとスティクスはそれらが同型であるという理由で一つだけを見ている。望月が禁じ手だと強く咎めているのはこれであり、彼自身の立証の中で幾つかの実例を与えている。
その実例はそのように扱えば不正な結果になると彼が主張しているものだ39。しかし、望月は自己弁明の中でキャテグリ論における常識的な解釈に対して再び個人特有の定義を使う一方で、まだ標準の用語を使っている。