>>253
>おそらく
>集合論による代数幾何＋α → 圏論による代数幾何
>で、チョロと1回グロタンUをもってくれば 終り
>だと思う？ しらんけど

単純に通常の集合論における宇宙を集合として実現すれば
圏論を集合論の中で実行できる、というだけの他愛ない話