derwind https://blog.hatena.ne.jp/derwind/ らんだむな記憶 https://randommemory.hatenablog.com/ math-category Grothendieck universe - Wikipedia, the free encyclopediaをもうちょっと読むとちょっと気になるな...。 The existence of a nontrivial Grothendieck universe goes beyond the usual axioms of Zermelo-Fraenkel set theory; ということで、Zermelo-Fraenkel の公理系だけではGrothendieck universeによる ``小さな集合'' を使った圏の定義などができそうに見えない。 most set theories … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F02%2F11%2F022047" title="圏論(28)と宇宙！！ - らんだむな記憶" 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-11 02:20:47 rich https://randommemory.hatenablog.com/entry/2016/02/11/022047 1.0 100%