小さい集合の集合

順序が逆なのでこの説明は良くない

グロタンディーク宇宙がまずあって、その要素のことを小さい集合と言う

グロタンディーク宇宙Uの定義

x \in U, y \in x \Rightarrow y \in U

x, y \in U \Rightarrow\{x, y\} \in U

x\in Uならば\mathscr{P}(x)\in Uかつ\cup x\in U

\mathscr{P}は冪集合を表す

\omega=\{0,1,2,\cdots\}\in U

これはどういう意味 #??

f:a\to bが全射でa\in Uかつb\sub Uならば、b\in U

参考

『圏論入門』 付録A