圏論、カテゴリー論 その２ (210ﾚｽ)
圏論、カテゴリー論 その２ http://rio2016.5ch.net/test/read.cgi/math/1724056087/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
132: １３２人目の素数さん [sage] 2024/10/27(日) 19:24:04.24 ID:1jhNsi72 >>129 集合論を前提としないって上の人が書いてくれてるだろ Cの対象であるの∈とか domとかcodomとかを未定義語としていくつかの公理を指定しただけ ぶっちゃけ群の公理化なんかと何も変わらん http://rio2016.5ch.net/test/read.cgi/math/1724056087/132
134: １３２人目の素数さん [] 2024/10/27(日) 19:25:22.36 ID:87R9rLwt >>132 >群の公理化なんかと何も変わらん 数学的対象として何かを考えるのには集合論は必須 http://rio2016.5ch.net/test/read.cgi/math/1724056087/134
136: １３２人目の素数さん [] 2024/10/27(日) 19:26:48.75 ID:87R9rLwt >>132 >Cの対象であるの∈とか >domとかcodomとかを未定義語としていくつかの公理を指定しただけ ちゃんと公理書いてごらんな 数学的対象の集まりである集合なりクラスなりが必ず必要になる http://rio2016.5ch.net/test/read.cgi/math/1724056087/136
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.555s*