[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 45 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
386(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/10(日)10:36 ID:mjl0bfS3(13/41) AAS
>>383
まず訂正
I
n category theory, a category whose collection of objects forms a proper class (or whose collection of morphisms forms a proper class) is called a large category.
↓
In category theory, a category whose collection of objects forms a proper class (or whose collection of morphisms forms a proper class) is called a large category.
さて、なぜZFCGか?
省15
389(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/10(日)10:56 ID:mjl0bfS3(14/41) AAS
>>386
>>386 追加
受け売りというか、単なるコピペです
要するに、圏論では、しばしば集合論は狭すぎるのです
あと、下記「空間を圏で表す」も、上記”非標準的な「幾何学」”と類似ですが、見ておいてね(^^
外部リンク:ja.wikipedia.org
圏 (数学)
省10
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.031s