>集合全体の存在

集合全体の「何の」存在?
集合全体の集合とか、集合全体の類とか圏とか色々あると思うけど

>>81
圏なら別にいいんじゃない?
ZFCの枠組みの中で圏をどう定義するのかって問題があるが
まあかなりGrothendieckの興味の方向とズレてるけどね

>良いのでしょうか?
OK
BGは実質的にZFCと同じ理論だと思って良し