圏論、カテゴリー論 その２ (207ﾚｽ)
圏論、カテゴリー論 その２ http://rio2016.5ch.net/test/read.cgi/math/1724056087/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
123: １３２人目の素数さん [] 2024/10/27(日) 18:30:40.14 ID:NJ3emw00 メタ圏と圏を分ける理由って何？数学基礎論的な理由から分けるみたいなこと読んだことあるけど、 いまいち分ける理由が納得できない。 http://rio2016.5ch.net/test/read.cgi/math/1724056087/123
125: １３２人目の素数さん [] 2024/10/27(日) 18:50:30.44 ID:NJ3emw00 集合論も何にも前提にせずに公理によって定義される圏のこと。 圏の普通の定義は集合論を前提にされる。 http://rio2016.5ch.net/test/read.cgi/math/1724056087/125
128: １３２人目の素数さん [] 2024/10/27(日) 19:14:53.96 ID:NJ3emw00 mor,objという言葉はつかえんので、直観で把握できる集団とかになるんじゃね。知らんけど。 http://rio2016.5ch.net/test/read.cgi/math/1724056087/128
130: １３２人目の素数さん [] 2024/10/27(日) 19:21:07.57 ID:NJ3emw00 意味が分からんのだが >クラスmorとobと適切な性質を満たすクラス関数dom,cod,1,μの6つ組を集合論の(mor,ob,dom,cod,1,μ)のように捉えてはいけない どういう理由からそうとらえてはいけないのかまったくわからんのだが、文脈もわからん。 http://rio2016.5ch.net/test/read.cgi/math/1724056087/130
140: １３２人目の素数さん [] 2024/10/27(日) 19:33:27.80 ID:NJ3emw00 それはモデルのことだろ。上の人が言っているのは公理化 http://rio2016.5ch.net/test/read.cgi/math/1724056087/140
142: １３２人目の素数さん [] 2024/10/27(日) 19:47:16.62 ID:NJ3emw00 いやだからそのメタ圏と圏と二つ分ける必要性ってどこからくるのって話 http://rio2016.5ch.net/test/read.cgi/math/1724056087/142
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.010s