[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む80 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

176(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/08(水)12:15 ID:1QCooAdl(6/7) AAS
>>175 追加

IUTその4に下記説明ある
が、圏論で筋通した方が良さそう？

P72
Example 3.2. Categories. The notions of a [small] category and an isomorphism class of [covariant] functors between two given [small] categories yield an
example of a species. That is to say, at a set-theoretic level, one may think of a
[small] category as, for instance, a set of arrows, together with a set of composition
省18

---

187(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/09(木)00:03 ID:vBuB/FcU(1/6) AAS
>>176
望月先生が、IUTその4の”species”で、何を言わんとしているのかなー？
下記の「圏論の基礎付け」みたいな、言い訳なのかな〜？（＾＾；

外部ﾘﾝｸ:ja.wikipedia.org
集合の圏
(抜粋)
圏論の基礎付け
省8

---

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

---

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

---

ぬこの手 ぬこTOP 0.035s