冪集合公理のほうが自明じゃなくね？at MATH冪集合公理のほうが自明じゃなくね？ - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト41:１３２人目の素数さん 26/06/22 07:25:51.70 F9cY3bdL.net 2-category 42:１３２人目の素数さん 26/06/22 07:32:40.82 F9cY3bdL.net >>39 >部分圏の全体のようなものを考えることはそもそもできない つまり 圏論は(BG)集合論の上に構築されているので クラスの部分クラスの全体が考えられない制限を受ける 43:１３２人目の素数さん 26/06/22 07:33:55.65 zv91EetX.net AIに聞いたら、冪圏なるものが存在し しかもそれはトポスになってるらしい 44:１３２人目の素数さん 26/06/22 07:50:41.40 F9cY3bdL.net やっぱ2-categoryじゃね？それ 45:１３２人目の素数さん 26/06/22 08:00:07.42 zv91EetX.net 冪圏はあくまでも1-圏らしい 46:１３２人目の素数さん 26/06/22 08:02:44.50 F9cY3bdL.net じゃどう定義したものなんだろ？ 47:１３２人目の素数さん 26/06/22 14:24:30.17 FM/YTHLb.net 圏論(or代数の圏論パート)ってなんで宇宙公理を採用したがるん？ NBG公理系を採用してZFCの保存拡大だと述べた上でクラスを素朴に扱えばよくない？集合論と同じようにさ クラスではなく集合として実現できるといっても、実際に集合として扱う(冪集合とったり無限和集合とったり)ことなくね 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch