圏論、カテゴリー論 その２ (210ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
132(2): １３２人目の素数さん [sage] 2024/10/27(日) 19:24:04.24 ID:1jhNsi72(1/25) AAS
>>129
集合論を前提としないって上の人が書いてくれてるだろ
Cの対象であるの∈とか
domとかcodomとかを未定義語としていくつかの公理を指定しただけ
ぶっちゃけ群の公理化なんかと何も変わらん
134(1): １３２人目の素数さん [] 2024/10/27(日) 19:25:22.36 ID:87R9rLwt(7/39) AAS
>>132
>群の公理化なんかと何も変わらん
数学的対象として何かを考えるのには集合論は必須
136(1): １３２人目の素数さん [] 2024/10/27(日) 19:26:48.75 ID:87R9rLwt(8/39) AAS
>>132
>Cの対象であるの∈とか
>domとかcodomとかを未定義語としていくつかの公理を指定しただけ
ちゃんと公理書いてごらんな
数学的対象の集まりである集合なりクラスなりが必ず必要になる
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.020s