[過去ログ] 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