圏論、カテゴリー論 その２ (207ﾚｽ)
上下前次1-新
190(1): 2024/10/27(日) 22:43:30.81 ID:87R9rLwt(37/39)調 AAS
>>189
はぁ
|2^U|の濃度の超現実数の集合を作れるんだけど
それがUの部分集合になると？冗談言うね君
というか全く集合論理解できてないでしょ
グロタンディークユニバースも
191(1): 2024/10/27(日) 22:44:35.67 ID:87R9rLwt(38/39)調 AAS
>>188
素朴集合論は破綻しましたので
学ぶならZF(C)をお勧めします
192: 2024/10/27(日) 22:45:49.72 ID:87R9rLwt(39/39)調 AAS
(N)BGでもいいけど
193: 2024/10/27(日) 22:51:12.92 ID:1jhNsi72(23/25)調 AAS
>>190
どっちにしろ2^|U|は集合だろ
194: 2024/10/27(日) 22:57:04.03 ID:1jhNsi72(24/25)調 AAS
そもそもNBGでクラスとして定義可能なんだから、ZFCだとUの部分集合として定義できるに決まってるじゃん
195: [bar] 2024/10/27(日) 23:06:08.86 ID:KkbwwIvn(4/4)調 AAS
>>191
なぜ？
196: 2024/10/27(日) 23:52:54.00 ID:1jhNsi72(25/25)調 AAS
NBGなんて無意味だからやめとけ
わいは1ミリも知らん
197: 2024/10/28(月) 05:31:05.01 ID:cvglCq1o(1/2)調 AAS
>>171
さっさと
>>176
に答えろよ
最初から集合であることが分かってるものをわざわざ定義すらもされてないクラスと呼ぶことに何の価値もないだろ
198: 2024/10/28(月) 21:17:52.64 ID:cvglCq1o(2/2)調 AAS
>>171
さっさと集合のことをクラスと呼んでる文献でも挙げてみろよ
199: 2024/10/29(火) 23:26:41.38 ID:bF0+gloI(1)調 AAS
>>171
さっさと出て来て、なぜ集合のことを集合ではなくクラスと呼ぶのか定義に基づいて説明しろよ
200(1): 2024/12/04(水) 22:19:55.65 ID:oudcjdtg(1)調 AAS
圏論で対象と射の例として
f
1 → 2
とかあるけど、数学って変数を関数的に使ったり、逆に関数を変数的に当たり前に使ってるって本で読んで、
演算子を対象にしたらどうなるだろう？って試してみた。
1 2
+ -> +1 -> 3
んで、結局は値になるので、値を射として再び使う。
1 2
+ -> +1 -> 3 1
+ -------------------> +3 -> 4
これってプログラミングでいう構文木では？
もしかして、演算子を対象。値を射にした構文木の圏みたいなのってあったりしますか？
201(1): 2024/12/04(水) 23:13:26.85 ID:RMHqhltL(1)調 AAS
>>200
>+ -> +1 -> 3
+と+1と3とがどれもオブジェクトとしたいの？
なんかいろいろごっちゃな感じだけどオブジェクトをちゃんと定義できる？
>もしかして、演算子を対象。値を射にした構文木の圏みたいなのってあったりしますか？
演算子は2変数のものを考えてるの？
2変数関数f(x,y)でf,x,y全部変数にして
xを-(x,-):f→(y→f(x,y))
みたいに2変数関数から1変数関数への写像と見るのは自由だけど
202(1): 2024/12/05(木) 06:47:15.70 ID:D5ymDvED(1)調 AAS
>>201
あー…そうか、関数（演算子）の集合と値の集合が違うと考えると、集合が最後で変わっちゃいますね。
値も引数無しの関数と見れないこともないけど、何でもアリはいけませんし…。
もうちょっと考えてみます。
すみませんでした。
203: 2024/12/05(木) 10:40:48.77 ID:2LfvP33Y(1)調 AAS
オブジェクトとして考えるべきものをキチンと定義できれば
射を写像で決めたいならある意味適切に決められると思うよ
204(1): 2024/12/05(木) 20:27:01.52 ID:Cfv0/oRA(1/2)調 AAS
>>202
定義域と値域の直積集合でなんか前に見た手法があったような気がするが忘れた。
205: 2024/12/05(木) 20:28:04.74 ID:Cfv0/oRA(2/2)調 AAS
>>204
ファイバーとホモトピー的自由度
206: [hage] 2025/01/21(火) 17:51:20.70 ID:L4YtUQ+F(1)調 AAS
圏論的解析学
2chｽﾚ:math
207: 2025/04/19(土) 23:03:59.04 ID:nP/+0I5c(1)調 AAS
Geminiに疑問をぶつけると人間よりわかりやすい回答が得られることがある
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.573s*