0938現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
2019/10/03(木) 21:48:46.83ID:yjiqL8Jw>そもそも集合論ではクラスを扱わない
それは、おサルの集合論w(゜ロ゜;
ヒトの集合論では、クラスは必須だよw(^^;
https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%A9%E3%82%B9_(%E9%9B%86%E5%90%88%E8%AB%96)
クラス (集合論)
(抜粋)
例
与えられた型の代数的対象全ての集まりは、たいてい真のクラスをなす。
例えば、全ての群からなるクラス、全てのベクトル空間からなるクラス、など。
圏論では、対象の集まりが真クラスをなすもの(または射の集まりが真クラスをなすもの)を大きい圏という。
集合論では、集合の集まりの多くは真クラスになってしまう。例えば、全ての集合からなるクラス、全ての順序数からなるクラス、全ての基数からなるクラスなど。