先週の話題を引っぱって、圏のサイズ問題なんですが、圏のサイズを何種類か定義して、それに伴って現れる“圏の圏”に名前を付けておきます。Uがグロタンディーク宇宙である条件に、ω∈U を含めます。ωは自然数の集合Nと同じです。ωは可算無限基数の意味ですが…