宇宙(universe)とな！Mac Lane本に曰く すべての集合からなるメタ圏 ――― これは集合ではない ――― に加えて、実際の圏であるSet、つまりすべての小さな(small)集合からなる圏が欲しい。我々は十分に大きな集合Uである「ユニバース」が存在すると仮定し、その…