X
トップページ⇒数学
740コメント167KB
圏論、カテゴリー論 [無断転載禁止]©2ch.net
0444学術　
垢版 |
2017/03/02(木) 20:02:57.10ID:Pg0ewIOD
酷いなその論。経営か経済がいいんじゃない。
数式使うなら。被害少ない。文学　哲学の次に。
0445１３２人目の素数さん
垢版 |
2017/03/02(木) 23:16:52.79ID:EPp9M5KH
ZFCにユニバースを追加して得られた圏論の結果を適用するということは、
ZFCそのものではなくZFCの一つのモデル上の議論を意味することになりませんか？
勝手にモデルを一つ固定しちゃっていいんでしょうか？
0446１３２人目の素数さん
垢版 |
2017/03/02(木) 23:27:25.13ID:EPp9M5KH
これだと疑問を呈する部分が変ですね
訂正します

ZFCにユニバースを追加して得られた圏論の結果を適用するということは、
形式的に公理化された何らかの集合論ではなくZFCの一つのモデル上の議論を意味することになりませんか？
ユニバースで議論するときは形式化されるかどうかの問題は棚上げしているということでしょうか？
0447１３２人目の素数さん
垢版 |
2017/03/03(金) 13:14:45.90ID:Wsd/KJ04
385 : １３２人目の素数さん2017/02/22(水) 15:37:59.07 ID:+mCPD1yq
http://imgur.com/a/8guXm

公の図書館で、本借りようとしたら、
参考文献のところで広告が貼られていた。
一応通報しておいたけど、
檜山とかいう人のページは見たことあるけど、論理的にも世間的にも少し頭おかしいと思うので、圏論勉強する人は気をつけて下さい。
386 : １３２人目の素数さん2017/02/22(水) 16:14:31.58 ID:YoN+DgPm
これはひどい
387 : １３２人目の素数さん2017/02/22(水) 16:15:41.34 ID:YoN+DgPm
らくがき古本を仕入れたせいかもしれないがな
388 : １３２人目の素数さん2017/02/22(水) 19:37:01.86 ID:EHrfcS6s
檜山wwwww
エセの極みだろwwwwwwwwwww
389 : １３２人目の素数さん2017/02/22(水) 22:28:59.47 ID:+mCPD1yq
>>387
出版屋から図書館宛の払込票がついてたから違うと思う。陰湿な犯罪
390 : １３２人目の素数さん2017/02/22(水) 22:38:03.67 ID:+mCPD1yq
http://imgur.com/a/xM3UI

403 : １３２人目の素数さん2017/02/24(金) 10:16:00.04 ID:qJSAlq1F
犯罪者　檜山正幸が隠蔽工作を行うスレはこちらです。
0448学術　帝皇　shinscake adaniu
垢版 |
2017/03/04(土) 18:57:34.57ID:D6uRmqha
符　面白い。
0449学術　帝皇　shinscake adaniu
垢版 |
2017/03/04(土) 19:06:01.84ID:D6uRmqha
記号論とか　ＡＡ　シーニュ的　数式は？
古いはなしだけど。発現？発現。
0450１３２人目の素数さん
垢版 |
2017/03/13(月) 13:28:10.06ID:IkCtFXWr
圏論スレと間違えて雑談スレに書き込んでしまった

任意の2つの対象の積と和が存在する圏において
A×(B+C)→(A×B)+(A×C) の同型射は"一般には"存在しない
これは正しい？
0451１３２人目の素数さん
垢版 |
2017/03/13(月) 15:23:00.30ID:ZlXpJr1D
一般には片側通行みたいやな
0453１３２人目の素数さん
垢版 |
2017/03/16(木) 05:33:13.82ID:QR/9DPH1
>>450
加法圏で考えれば反例がすぐできる
0454１３２人目の素数さん
垢版 |
2017/03/16(木) 08:21:28.83ID:hZzkX4Mc
　　
>>453
一般にはだろ？
0456１３２人目の素数さん
垢版 |
2017/03/17(金) 07:06:11.01ID:mXUCj2bf
>>455
いや問題が。
おまえがな。
0457１３２人目の素数さん
垢版 |
2017/03/17(金) 10:00:44.07ID:noilJYv8
「一般には存在しない？」
　↓
「ああ、反例がある」
　↓
「一般にはだろ？」

どうしてこうなるのか
0458１３２人目の素数さん
垢版 |
2017/03/17(金) 10:26:12.07ID:mXUCj2bf
>>457
加法圏仮定してないだろ
0459１３２人目の素数さん
垢版 |
2017/03/17(金) 10:30:24.03ID:mXUCj2bf
問題が、加法圏仮定してないだろ。
0460１３２人目の素数さん
垢版 |
2017/03/17(金) 10:33:27.65ID:mXUCj2bf
>>457
きちんと話したいなら英語でかけ。日本語の文章特性くらい理解しろ、カス。
0461１３２人目の素数さん
垢版 |
2017/03/17(金) 12:23:21.41ID:aQJDzyux
「一般」の意味を「平面上の一般の位置にある3点」みたいな感じで捉えているんだろうか
0463１３２人目の素数さん
垢版 |
2017/03/17(金) 12:46:08.39ID:mXUCj2bf
なぜかいきなり平面。
幾何スレ行ってこい。
0464１３２人目の素数さん
垢版 |
2017/03/17(金) 13:03:29.94ID:mXUCj2bf
一般の定義を
圏でかいてみろよwwwww
0465１３２人目の素数さん
垢版 |
2017/03/17(金) 13:03:49.80ID:mXUCj2bf
くさしか生えん
0467１３２人目の素数さん
垢版 |
2017/03/17(金) 13:47:15.35ID:mXUCj2bf
ここでは加法圏かんけいないやろ、
圏論やるくらいなら、
日本語は動的に意味をくみ取れ、カス。
0468１３２人目の素数さん
垢版 |
2017/03/17(金) 13:57:35.64ID:noilJYv8
たぶん「私は行きます」と「私が行きます」の違いがわからないやつだろう。
素でこういう人間がいるんだよ。
0469１３２人目の素数さん
垢版 |
2017/03/17(金) 14:07:13.33ID:mXUCj2bf
さっきから、
低能リプよこすな、
他スレへいけ。


日本語信仰も大概にしとけ。
0470１３２人目の素数さん
垢版 |
2017/03/17(金) 14:10:37.89ID:mXUCj2bf
まあ、俺が去るわ。
邪魔したな。
0471１３２人目の素数さん
垢版 |
2017/03/17(金) 14:26:48.61ID:Q1gAVVzI
こいつ相手を貶す時いつも「文系」という言葉を使うやつだろ
以前も似たようなことで発狂してたわ
0472１３２人目の素数さん
垢版 |
2017/03/17(金) 15:26:03.39ID:8vW/9xXS
このレベルで数学が(というか日本語が)できない人間がいるんだなw驚いたわw
0473１３２人目の素数さん
垢版 |
2017/03/17(金) 16:57:15.35ID:OKoju7eu
低能ばっかり
0474１３２人目の素数さん
垢版 |
2017/03/17(金) 17:05:48.59ID:OKoju7eu
カスしかおらんな。
0475１３２人目の素数さん
垢版 |
2017/03/17(金) 18:22:36.71ID:aQJDzyux
わかった
>>450の
> 任意の2つの対象の積と和が存在する圏において
> A×(B+C)→(A×B)+(A×C) の同型射は"一般には"存在しない

に対して、>>453の「反例」を
「加法圏なら同型射が存在する」
という意味に取ったんだな。
俺には>>453は
「加法圏なら同型射がない例が簡単に構成できる」
と主張しているようにしか思えない。
0476１３２人目の素数さん
垢版 |
2017/03/17(金) 19:04:41.22ID:mG/+lK0E
>>454
> >>453
> 一般にはだろ？

横レスだが（次の引用では元の文での注意を喚起する目的で使用されていた""は除去した）

元の文＞任意の2つの対象の積と和が存在する圏において
元の文＞A×(B+C)→(A×B)+(A×C) の同型射は一般には存在しない

この「一般には存在しない」という日本語の部分は、「存在しない場合がある」という意味だ
それに対して

対比文＞任意の2つの対象の積と和が存在する圏において
対比文＞A×(B+C)→(A×B)+(A×C) の同型射は一般に存在しない

この対比文は元の文での「一般には」の「は」が削除されただけだが、こちらの「一般に存在しない」の部分は
上とは全く異なって「絶対に存在しない」という意味だ

「一般に」の直後の「は」の有無によって生ずる以上に述べた意味の違いが理解できないのならば
冗談抜きに国語を基本から勉強しなおしたほうがよい

あと数学の易しい教科書を証明を含めて良く読んで日本語での言明の書き方・読み方に慣れることも不可欠だ
0477１３２人目の素数さん
垢版 |
2017/03/17(金) 19:49:40.41ID:mG/+lK0E
>>476に補足

但し、対比文の「一般に存在しない」を「一般には存在しない」と同じ「存在しない場合がある」という意味で
数学の教科書などで使用（誤用）しているケースが稀にあるので注意が必要

但し、逆の「一般には存在しない」を「絶対に存在しない」という意味で使用することは絶対にない

従って、「は」の付かない「一般に」は肯定形の述語（例えば「存在する」とか「成り立つ」など）だけの修飾に使用を限定し
否定形の述語（「存在しない」や「成り立たない」など）に対しては、誤読（第１段落で述べた誤用の存在が原因の読み方）を回避する為に「一般に」を使用せず、
「決して」とか「絶対に」などの否定形専用の（つまり否定の「ない」と係り受ける…但し現在は肯定形にも使用されている）修飾語を使用するのが望ましい
0479１３２人目の素数さん
垢版 |
2017/03/17(金) 20:23:32.75ID:noilJYv8
「全員に は 行き渡らない」とか「全国的に は あまり知られていない」などのように
日常的な言い回しと一致してるんだから何も難しいことないのにね。
0483１３２人目の素数さん
垢版 |
2017/03/18(土) 10:07:20.16ID:Uxq8+lgJ
本来、>>450と>>453だけで終わるはずの話に、何でこんなにスレを消費できるんだwww
0484１３２人目の素数さん
垢版 |
2017/03/23(木) 12:10:02.26ID:C1WF/6d1
>>475
仮にそうなら、
>>453
は日本語話せないガイジだな。
0486１３２人目の素数さん
垢版 |
2017/03/23(木) 14:18:19.08ID:C1WF/6d1
>>485
ネットワーク上で信用できる、
アンケートシステムをオープンソースで構築してから言ってくれるかな？
0488１３２人目の素数さん
垢版 |
2017/03/23(木) 15:39:00.15ID:C1WF/6d1
>>487
どこのdqnかな？
0489１３２人目の素数さん
垢版 |
2017/03/23(木) 16:23:23.66ID:CDsJKV8J
一般に成り立たないことは例を一つ示せばよくて、その例のことを反例という。
いっぽう、例を挙げただけで一般に成り立つことが示せるわけではないのであって、
一般には成り立たないよな→反例がすぐできるな
という流れで使われた「反例」が「「一般には成り立たない」ことの否定「一般に成り立つ」ことを示す例」という
意味にはなりようがないことも明らか
0490１３２人目の素数さん
垢版 |
2017/03/23(木) 17:38:30.39ID:/dCuhxRO
>>488
リアルでもネット（2chに限らない）でもいいから内容を修正して勝手にアンケートをとればいいのに、
おまえにとって不利な状況を作られるかのように被害者意識を持って、しかもその責任をこちらに押し付けてきた
それが>>486だ
0491１３２人目の素数さん
垢版 |
2017/03/23(木) 19:16:25.40ID:C1WF/6d1
>>489
誰もお前の頭の中までいちいち見てくれると思うな。言葉がちがえば、それらは間違いとして即座に切り捨てられる。
0493１３２人目の素数さん
垢版 |
2017/03/23(木) 19:20:43.04ID:C1WF/6d1
お前の文脈を読む動機がなければ、ミスとしか見れない。場所を考えろ。
0494１３２人目の素数さん
垢版 |
2017/03/23(木) 19:26:14.72ID:CDsJKV8J
文脈関係なく、一般に「は」成り立たないことを示す例という意味以外で反例という言葉は使われない
0496１３２人目の素数さん
垢版 |
2017/03/23(木) 19:29:50.46ID:/dCuhxRO
しかし事実として、おまえ以外の全ての人間が文脈を読み、
その前提で先日もおまえは議論を交わし、結果としておまえだけが日本語を解せない人間として扱われた
今さら「俺は文脈に依存しない前提で話してきたんだ」と主張しても誰も騙せまい
0497１３２人目の素数さん
垢版 |
2017/03/23(木) 19:34:08.49ID:/dCuhxRO
>>493
おまえは先日こんなことを書いていたな

＞日本語は動的に意味をくみ取れ、カス。

場所を考えた方がいいんじゃないか？
0498１３２人目の素数さん
垢版 |
2017/03/23(木) 19:34:15.37ID:C1WF/6d1
何言っても駄目やね、お幸せに。
0499１３２人目の素数さん
垢版 |
2017/03/23(木) 19:43:23.41ID:/dCuhxRO
去り際はいつも余裕たっぷりの態度を見せるんだな

470 １３２人目の素数さん [] 2017/03/17(金) 14:10:37.89 ID:mXUCj2bf [10/10]
まあ、俺が去るわ。
邪魔したな。

498 １３２人目の素数さん [] 2017/03/23(木) 19:34:15.37 ID:C1WF/6d1 [6/6]
何言っても駄目やね、お幸せに。
0500１３２人目の素数さん
垢版 |
2017/03/23(木) 19:46:38.43ID:wBH5U5zi
>>498
キチガイの相手すんな。
0501１３２人目の素数さん
垢版 |
2017/03/23(木) 19:48:05.40ID:C1WF/6d1
>>500
NGいれときます😊
0502１３２人目の素数さん
垢版 |
2017/03/23(木) 19:48:59.20ID:/dCuhxRO
そしてまたも何食わぬ顔で戻ってきて自分で自分を擁護し始める

473 １３２人目の素数さん [] 2017/03/17(金) 16:57:15.35 ID:OKoju7eu [1/2]
低能ばっかり

474 １３２人目の素数さん [] 2017/03/17(金) 17:05:48.59 ID:OKoju7eu [2/2]
カスしかおらんな。

500 １３２人目の素数さん [] 2017/03/23(木) 19:46:38.43 ID:wBH5U5zi
>>498
キチガイの相手すんな。
0503１３２人目の素数さん
垢版 |
2017/03/23(木) 19:55:37.06ID:zk49iia1
数学者だったら、曖昧性排除に論理式使えや。
他人を罵るためのクソみたいな疑似問題なんかどうでもいいよ。
0504１３２人目の素数さん
垢版 |
2017/03/23(木) 19:56:58.41ID:C1WF/6d1
>>503
同感です。
0505１３２人目の素数さん
垢版 |
2017/03/23(木) 19:59:25.82ID:C1WF/6d1
いくら、圏論理解してようが、そこを取りまちがえたら、数学者としては最低だと思います。
0506１３２人目の素数さん
垢版 |
2017/03/23(木) 20:14:35.44ID:Ux0xHIXI
「日本語は論理的ではない」という言説の9割くらいは負け惜しみだと思う。
そして負け惜しみのために日本語を貶すのは恥ずべき行為だ。
0507１３２人目の素数さん
垢版 |
2017/03/23(木) 20:30:32.19ID:C1WF/6d1
>>506
それはどうだかわかりませんが、
正しく使うことにこしたことはないですね。その点で、英語も日本語も同じです。
ただ、正しく日本語を使うのは英語より難しく、また英語がより重要であることも否定し難い事実だと思います。
0510１３２人目の素数さん
垢版 |
2017/03/23(木) 20:56:35.07ID:dVy9jn5w
論理的かはあれとして、英語と日本語では言い表せる対象が結構違うよ
例えば日本語には仮定法が無い。英語では事実と仮定を明確に区別できる。
0514１３２人目の素数さん
垢版 |
2017/04/21(金) 08:52:14.58ID:7SP6MzvD
やっぱりCATが好き
0517１３２人目の素数さん
垢版 |
2017/04/22(土) 13:22:44.98ID:+azGlwGg
DOGはないんか？
Differential
Operators
Gが思いつかん
0519１３２人目の素数さん
垢版 |
2017/04/26(水) 06:51:12.12ID:jwyuPAzX
「すべての」って書いてあるのが読めないの？
0520１３２人目の素数さん
垢版 |
2017/04/26(水) 11:18:24.70ID:mXz0+yOu
正しい定義は
全ての「小」圏のなす圏だから
CAT自身は含まれない
0521１３２人目の素数さん
垢版 |
2017/04/26(水) 12:46:05.63ID:ldQJcu74
含まれます
小さい(ある固定された宇宙に含まれる)かどうかは本質的じゃないです
0523１３２人目の素数さん
垢版 |
2017/04/26(水) 16:55:23.18ID:5ktzwSVE
圏論やったら他の分野が学びやすくなるとかあるの？
0524１３２人目の素数さん
垢版 |
2017/04/26(水) 22:50:47.45ID:mXz0+yOu
>>521
ワロタw
0525１３２人目の素数さん
垢版 |
2017/04/30(日) 14:20:55.45ID:sTDd3Ua4
２つの圏の間の「自然な関手」という概念、あるいはそれに似た概念ってあった？
0526１３２人目の素数さん
垢版 |
2017/05/03(水) 20:57:00.02ID:scNEqwCr
>>503
やたら論理式を上げてる人は、数学から落ちこぼれてしまった人が多い。
これ、常識。
0537１３２人目の素数さん
垢版 |
2017/05/31(水) 16:44:27.07ID:nj5LoRJ2
一般のアーベル圏において、無限個の対象Ai(i∈Iで、Iは無限集合)
の直和Sと直積Tが存在するとき、SからTへの単射って必ず存在するの
でしょうか？存在するなら証明の概略でも教えていただけないでしょうか。
存在するとは限らないときは、何か反例を教えていただけないでしょうか。
0538１３２人目の素数さん
垢版 |
2017/06/05(月) 12:39:25.56ID:Wq6Yn82x
加群圏に埋め込んで考えればいいんでない
0539￥ ◆2VB8wsVUoo
垢版 |
2017/06/05(月) 12:42:43.46ID:zhDHDNnu
★★★数学徒は馬鹿板をしない生活を送り、日頃から真面目に学問に精進すべき。★★★

￥
新着レスの表示
レスを投稿する

ニューススポーツなんでも実況