20/04/12 14:03:16 hAg37Ryy.net
>>28
DeepL翻訳
ショルツースティックスのシンプル化
では、これだけ望月側の特殊性の議論がなされていることを考えると、Scholze-Stixのアプローチについてはどのようなことが言えるのでしょうか。
彼らは、同型／等価であることが知られている特定の対象を同定していると言うことが多い。望月はこれに異議を唱える。
しかし、オブジェクトの識別が破壊的であることは先験的に明らかではありません：上記のコリミットの例では、異なるオブジェクトがダイアグラム形状の異なるノードの値であることを確認する必要はありませんでした。
簿記はダイアグラム・レベルで行われており、オブジェクトの特定の同一性ではありません。
しかし、このプロセスでは行き過ぎてしまうこともあります。上記の「カテゴリー理論と構造主義」のセクションでの議論を思い出してみてください。
物体ＸまたはＸ'を識別することができるが、それらの間に所定の同型があると仮定するか、または特定の同型を選択する。
b : X ～→ X' とする。
つづく