圏論の定式化が、ZFC で十分という話を聞いたことがあります。 僕の経験からすると、その通りです。 ただ、圏論の定式化は、BGC、もしくは BGE の方がやりやすいです。 もちろん、BGE は ZFC の保存拡大ですから、 最終的には ZFC の言葉で記述できます。 (…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。