追加引用しておきます
「圏 (数学)」をかじらないと、集合とクラスの関係は分かりにくいでしょうね
(圏 (数学)が、集合の範囲におさまらない(すなわちクラスを扱う)とき、大きい (large) と言う。類=クラス)
https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%A9%E3%82%B9_(%E9%9B%86%E5%90%88%E8%AB%96)
クラス (集合論)
例
与えられた型の代数的対象全ての集まりは、たいてい真のクラスをなす。例えば、全ての群からなるクラス、全てのベクトル空間からなるクラス、など。圏論では、対象の集まりが真クラスをなすもの(または射の集まりが真クラスをなすもの)を大きい圏という。
超現実数 (en:Surreal number) 全体は、体の公理を満たす対象による真クラスである。
集合論では、集合の集まりの多くは真クラスになってしまう。例えば、全ての集合からなるクラス、全ての順序数からなるクラス、全ての基数からなるクラスなど。
クラスが真クラスであることを証明する方法に、全ての順序数によるクラスとの間に全単射を与えるというものがある。この方法は、例えば自由完備束が存在しないことの証明などに使われる。
https://ja.wikipedia.org/wiki/%E5%9C%8F_(%E6%95%B0%E5%AD%A6)
圏 (数学)
圏の大きさ
圏 C が小さい (small) とは、対象の類 ob(C) および射の類 hom(C) がともに集合となる(つまり真の類でない)ときに言い、さもなくば大きい (large) と言う。射の類が集合とならずとも、任意の二対象 a, b ∈ ob(C) をとるごとに、射の類 hom(a, b) が集合となるならば(hom(a, b) を射集合、ホム集合などと呼び)、その圏は局所的に小さい (locally small) と言う[3]。集合の圏など数学における重要な圏の多くは、小さくないとしても、少なくとも局所的に小さい。
文献によっては、局所的に小さい圏のみを扱い、それを単に圏と呼ぶ場合もある[4][5]。
数学基礎論・数理論理学 その19
■ このスレッドは過去ログ倉庫に格納されています
140132人目の素数さん
2024/04/18(木) 13:08:21.54ID:5l0vuf/E■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【サッカー】彩艶、神セーブ!森保日本22年W杯以来のPK戦を制した!エクアドルに0-0から [ゴアマガラ★]
- 【野球】セ・リーグ T 2-2 G [10/1] 阪神-巨人は延長12回引き分け 阪神M2 [鉄チーズ烏★]
- 【現場報告】20代女性が心肺停止 その後死亡…JR三ノ宮駅近くで車が次々と歩行者はねる事故 ほか4人が重軽傷 神戸・中央区 [ぐれ★]
- 【酒】がんの死亡リスク、350mlの缶ビールを1日1本で増加? アルコール起因のがん死亡数が33年間で2倍に 米国研究 [煮卵★]
- 最も信用できない情報源ワースト2 インフルエンサーのSNSが惨敗の理由…信頼するのは「家族の口コミ」「NHKのテレビ」… [少考さん★]
- こめお、「割烹こめを」閉店発表 [爆笑ゴリラ★]
- 【悲報】ジャップの経済成長率、G20で19位 [603416639]
- 【実況】博衣こよりのえちえちホドロリ夜釣りゆる凸待ち🧪★2
- 【朗報!】高市「積極財政は、国民生活にマイナスにはゼッタイに無い!」と、語る!財源確保に自信示す。世界羨む薔薇色ミライがスグそこ [219241683]
- 柏レイソル🏡
- 【高市悲報】美味しんぼってやたらと「ササニシキ」推してたよね🥺 [616817505]
- 「ファイアーエムブレム 万紫千紅」が糞ゲーらしい [303493227]