[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新

---

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

---

780: 2024/12/27(金)06:55 ID:jx54xMU+(1) AA×


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
780: [] 2024/12/27(金) 06:55:54.24 ID:jx54xMU+ テンソル積、射影加群、入射加群、逆極限、順極限、……などはすべて普遍性で特徴づけられる つまり、集合として具体的に構成をしなくても、他のすべての対象に対して射がみたす性質で一意的に定まる しかも、これらのほとんどの議論は具体的構成を使わず、普遍性だけから従う このような議論をするには、すべての加群のあつまりのような、無限集合にすらならない膨大な概念を考える必要がある 当然、構成に頼っていてはこのような概念をプログラミングで扱うことは不可能 http://mevius.5ch.net/test/read.cgi/tech/1710585705/780
テンソル積射影加群入射加群逆極限順極限などはすべて普遍性で特徴づけられる つまり集合として具体的に構成をしなくても他のすべての対象に対して射がみたす性質で一意的に定まる しかもこれらのほとんどの議論は具体的構成を使わず普遍性だけから従う このような議論をするにはすべての加群のあつまりのような無限集合にすらならない膨大な概念を考える必要がある 当然構成に頼っていてはこのような概念をプログラミングで扱うことは不可能

---

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

---

あと 222 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.025s