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

---

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

---

284(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/08(金)16:52 ID:qXGvfbUV(22/26) AAS
>>283

つづき

外部ﾘﾝｸ:en.wikipedia.org
Combinatorial species
(抜粋)
In combinatorial mathematics, the theory of combinatorial species is an abstract, systematic method for analysing discrete structures in terms of generating functions. Examples of discrete structures are (finite) graphs, permutations, trees, and so on; each of these has an associated generating function which counts how many structures there are of a certain size.

Category theory provides a useful language for the concepts that arise here, but it is not necessary to understand categories before being able to work with species.
省4

---

286: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/08(金)17:39 ID:qXGvfbUV(24/26) AAS
>>284 訂正

.Category theory provides a useful language for the concepts that arise here, but it is not necessary to understand categories before being able to work with species.
　↓
１行削除
なんか同じ行で、ダブっているね（＾＾；

---

507(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/11(月)20:03 ID:AHfZgdJQ(6/15) AAS
>>498-501 補足

このIUT IV P74 Remark 3.3.1. をコピーしたのは
“∈-loops”とか、”∈-structure of the set theory”とか ”In the context of constructing “loops” in a mutation-history”、”“output species-objects” of the “S” on the right that”
とか

なんか (>>463より) 渕野 「基礎の公理」
”基礎の公理は技術的な理由で付け加えられた公理と言えるが，
この公理を集合論の公理系に加えることの妥当性は，
省11

---

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

---

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

---

ぬこの手 ぬこTOP 2.407s*