derwind https://blog.hatena.ne.jp/derwind/ らんだむな記憶 https://randommemory.hatenablog.com/ math-category 宇宙(universe)とな！Mac Lane本に曰く すべての集合からなるメタ圏 ――― これは集合ではない ――― に加えて、実際の圏であるSet、つまりすべての小さな(small)集合からなる圏が欲しい。我々は十分に大きな集合Uである「ユニバース」が存在すると仮定し、そのとき集合 $x$ がユニバースのメンバであるときに「小さい」と言い、Setをその対象の集合Uがすべての小さな集合の集合であり射が小さな集合から小さな集合へのすべての関数であるような圏とする。 というのがある。なんぞこれ？ 圏論(19) - らんだむな記憶で触れたように「すべての集合からなるメタ圏」は集合ではない。ユニバー… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F02%2F10%2F012705" title="圏論(26)と宇宙 - らんだむな記憶" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2016-02-10 01:27:05 rich https://randommemory.hatenablog.com/entry/2016/02/10/012705 1.0 100%