[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 44 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

62(1): 2020/04/14(火)13:35 ID:PFls8jJA(7/10) AAS
>>61

つづき

Or that you incorrectly calculate the perfection of a ring if in the usual sequential colimit you don’t create separate copies of the ring in advance (this is LbEx3). This is patently absurd, but makes sense if one assumes that diagrams *must* be injective functors, or rather, literal subcategories.
Recall that M assumes that he is identifying isomorphic functors, so that the concept of a diagram qua functor is severely underdetermined.
Working up to isomorphism like this, and replacing a diagram with one that produces an isomorphic (co)limit, one can safely assume that diagrams are subcategories?but it is super weird, and it took me ages to realise that was what he was thinking.
This is why he talks about things like “forgetting histories”, because he is thinking that you need to somehow create fresh, distinct copies of objects in order to not collapse the subcategory down, and thereby give a different diagram.
So when someone versed in standard category-theoretic language says “let’s identify these objects”, he seems to hear it as “let’s collapse this subcategory to something trivial”.
省4

---

63: 2020/04/14(火)13:36 ID:PFls8jJA(8/10) AAS
>>62
追加

ここら
Woitブログで上がっている論点は
みんなの躓きどころだから
IUT側がしっかり説明責任を果たして
疑問点を解消してやるべきと思います
省1

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.169s*