圏論、カテゴリー論 その２ (207ﾚｽ)
圏論、カテゴリー論 その２ http://rio2016.5ch.net/test/read.cgi/math/1724056087/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
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
135: １３２人目の素数さん [sage] 2024/10/27(日) 19:26:17.76 ID:1jhNsi72 >>134 なんで？ http://rio2016.5ch.net/test/read.cgi/math/1724056087/135
137: １３２人目の素数さん [sage] 2024/10/27(日) 19:28:00.91 ID:1jhNsi72 >>136 いるわけねーだろ 群の公理化とやってることは変わらねーよ http://rio2016.5ch.net/test/read.cgi/math/1724056087/137
141: １３２人目の素数さん [sage] 2024/10/27(日) 19:37:50.48 ID:1jhNsi72 >>139 圏論の基礎のp7に書いてあるじゃん http://rio2016.5ch.net/test/read.cgi/math/1724056087/141
143: １３２人目の素数さん [sage] 2024/10/27(日) 19:51:50.03 ID:1jhNsi72 わいはメタ圏なんていらんと思う なんでこれにページを費やしてるのか全くの謎 http://rio2016.5ch.net/test/read.cgi/math/1724056087/143
148: １３２人目の素数さん [sage] 2024/10/27(日) 20:00:21.31 ID:1jhNsi72 >>145 自分で読めよトンデモ野郎 http://rio2016.5ch.net/test/read.cgi/math/1724056087/148
149: １３２人目の素数さん [sage] 2024/10/27(日) 20:13:45.25 ID:1jhNsi72 >>142 名前を分ける必要があるかという意味でもいらんと思う やってることは同じなのにメタ自然数とかメタ群とか言う人は存在しないからね http://rio2016.5ch.net/test/read.cgi/math/1724056087/149
150: １３２人目の素数さん [sage] 2024/10/27(日) 20:28:25.53 ID:1jhNsi72 トンデモ君は戻って来たんなら >>20,24,49 あたりの説明をさっさとしろよ http://rio2016.5ch.net/test/read.cgi/math/1724056087/150
156: １３２人目の素数さん [sage] 2024/10/27(日) 20:47:55.08 ID:1jhNsi72 何言ってんだこいつ http://rio2016.5ch.net/test/read.cgi/math/1724056087/156
157: １３２人目の素数さん [sage] 2024/10/27(日) 20:50:35.76 ID:1jhNsi72 >>151 体であるとか群であるとは？一体何？ http://rio2016.5ch.net/test/read.cgi/math/1724056087/157
158: １３２人目の素数さん [sage] 2024/10/27(日) 20:58:16.80 ID:1jhNsi72 >>151 超実現数のwikipediaのページには集合であり、体であるって書いてある なんで嘘つくの？ http://rio2016.5ch.net/test/read.cgi/math/1724056087/158
159: １３２人目の素数さん [sage] 2024/10/27(日) 21:18:38.59 ID:1jhNsi72 >>152 集合はすべて集合ではなくクラスであるって書いてある本をさっさと挙げてよ 勉強しようがないじゃん http://rio2016.5ch.net/test/read.cgi/math/1724056087/159
160: １３２人目の素数さん [sage] 2024/10/27(日) 21:18:59.75 ID:1jhNsi72 >>154 お前には言ってない http://rio2016.5ch.net/test/read.cgi/math/1724056087/160
163: １３２人目の素数さん [sage] 2024/10/27(日) 21:38:30.72 ID:1jhNsi72 >>161 証明してよ http://rio2016.5ch.net/test/read.cgi/math/1724056087/163
166: １３２人目の素数さん [sage] 2024/10/27(日) 21:44:21.82 ID:1jhNsi72 >>165 脚注にZFCでは集合だって書いてあるだろ http://rio2016.5ch.net/test/read.cgi/math/1724056087/166
169: １３２人目の素数さん [sage] 2024/10/27(日) 21:50:02.42 ID:1jhNsi72 これのどこが曲解なんだ？ お前の主張はxが集合だとすると、xは集合ではなくてクラスであるじゃん 884 １３２人目の素数さん sage 2024/08/18(日) 20:53:27.84 ID:wHRgHpuD ＞883 集合が小さいとはUの元であることをいうのが普通だと思うけど圏論の基礎にもそう書いてない？ 885 １３２人目の素数さん 2024/08/18(日) 20:59:08.62 ID:UrU6fXuY ＞884 結局それ集合ってことよ 君の言っている「集合」（らしきもの）は普通はクラスといいます 886 １３２人目の素数さん sage 2024/08/18(日) 21:00:37.38 ID:wHRgHpuD ＞885 小さいとは限らない集合も紛れもなく集合なんだけど？？？ ちょっと何言ってるのか理解できない http://rio2016.5ch.net/test/read.cgi/math/1724056087/169
173: １３２人目の素数さん [sage] 2024/10/27(日) 21:54:47.02 ID:1jhNsi72 >>167 じゃあ集合じゃん http://rio2016.5ch.net/test/read.cgi/math/1724056087/173
176: １３２人目の素数さん [sage] 2024/10/27(日) 21:56:06.84 ID:1jhNsi72 >>171 集合だろ、そもそもクラスって何だよ？ http://rio2016.5ch.net/test/read.cgi/math/1724056087/176
178: １３２人目の素数さん [sage] 2024/10/27(日) 21:58:32.24 ID:1jhNsi72 >>175 NBGでクラスとして定義できるんだから、ユニバースからはみ出す道理がないだろ http://rio2016.5ch.net/test/read.cgi/math/1724056087/178
181: １３２人目の素数さん [sage] 2024/10/27(日) 22:11:48.46 ID:1jhNsi72 >>179 なんで濃度が2^Uを超えるとUに収まらなくなるの？ 証明してよ http://rio2016.5ch.net/test/read.cgi/math/1724056087/181
183: １３２人目の素数さん [sage] 2024/10/27(日) 22:20:16.69 ID:1jhNsi72 >>180 普通の集合の構成しか使ってないのに宇宙からはみ出すわけないだろ http://rio2016.5ch.net/test/read.cgi/math/1724056087/183
189: １３２人目の素数さん [sage] 2024/10/27(日) 22:37:10.02 ID:1jhNsi72 >>186 2^Uの元xとUの元yの組で、|x|<|y|なものはいくらでもあると思うんですけど http://rio2016.5ch.net/test/read.cgi/math/1724056087/189
193: １３２人目の素数さん [sage] 2024/10/27(日) 22:51:12.92 ID:1jhNsi72 >>190 どっちにしろ2^|U|は集合だろ http://rio2016.5ch.net/test/read.cgi/math/1724056087/193
194: １３２人目の素数さん [sage] 2024/10/27(日) 22:57:04.03 ID:1jhNsi72 そもそもNBGでクラスとして定義可能なんだから、ZFCだとUの部分集合として定義できるに決まってるじゃん http://rio2016.5ch.net/test/read.cgi/math/1724056087/194
196: １３２人目の素数さん [sage] 2024/10/27(日) 23:52:54.00 ID:1jhNsi72 NBGなんて無意味だからやめとけ わいは1ミリも知らん http://rio2016.5ch.net/test/read.cgi/math/1724056087/196
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.552s*