圏論、カテゴリー論その２

圏論、カテゴリー論その２ (210ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

149(2): 2024/10/27(日)20:13 ID:1jhNsi72(7/25) AAS
>>142
名前を分ける必要があるかという意味でもいらんと思う
やってることは同じなのにメタ自然数とかメタ群とか言う人は存在しないからね

151(2): 2024/10/27(日)20:43 ID:87R9rLwt(15/39) AAS
>>149
超現実数を勉強すると
体の公理を満たすクラスが定義されるとわかる
しかしそれは体とは言わない
同様に群の公理を満たしても
集合でなければ群ではないよ

154(1): 2024/10/27(日)20:46 ID:87R9rLwt(18/39) AAS
>>149
>メタ自然数
こっちは何をイメージしてんの？