20/05/23 09:52:01 jlNBK+nU.net
>>678
つづき
複 数 の universe がある , とする 視 点 を 提 案 している 人 [ Ham12 ] もいる 。 この Hamkins の 論 文 は , n -Category Cafe や Math Over?ow ( ここ や ここ や ここ ) などで 話 題 にな っ ている 。
References
[Low] Zhen Lin Low. Universes for category theory, arXiv:1304.5227 .
URLﾘﾝｸ(arxiv.org)
[Submitted on 18 Apr 2013 (v1), last revised 28 Nov 2014 (this version, v2)]
Universes for category theory
Zhen Lin Low
The Grothendieck universe axiom asserts that every set is a member of some set-theoretic universe U that is itself a set.
One can then work with entities like the category of all U-