圏論、カテゴリー論 その２ (207ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
123(1): 2024/10/27(日)18:30 ID:NJ3emw00(1/6) AAS
メタ圏と圏を分ける理由って何？数学基礎論的な理由から分けるみたいなこと読んだことあるけど、
いまいち分ける理由が納得できない。
125(1): 2024/10/27(日)18:50 ID:NJ3emw00(2/6) AAS
集合論も何にも前提にせずに公理によって定義される圏のこと。
圏の普通の定義は集合論を前提にされる。
128: 2024/10/27(日)19:14 ID:NJ3emw00(3/6) AAS
mor,objという言葉はつかえんので、直観で把握できる集団とかになるんじゃね。知らんけど。
130(1): 2024/10/27(日)19:21 ID:NJ3emw00(4/6) AAS
意味が分からんのだが
>クラスmorとobと適切な性質を満たすクラス関数dom,cod,1,μの6つ組を集合論の(mor,ob,dom,cod,1,μ)のように捉えてはいけない
どういう理由からそうとらえてはいけないのかまったくわからんのだが、文脈もわからん。
140: 2024/10/27(日)19:33 ID:NJ3emw00(5/6) AAS
それはモデルのことだろ。上の人が言っているのは公理化
142(2): 2024/10/27(日)19:47 ID:NJ3emw00(6/6) AAS
いやだからそのメタ圏と圏と二つ分ける必要性ってどこからくるのって話
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.565s*