X
トップページ⇒数学
740コメント167KB
圏論、カテゴリー論 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
0110１３２人目の素数さん
垢版 |
2016/06/17(金) 10:59:09.73ID:jUMpwA6Y
　
ファンクトリアリティ
0123１３２人目の素数さん
垢版 |
2016/06/18(土) 21:16:34.05ID:0Rs8TN9r
　
2-表現
0124１３２人目の素数さん
垢版 |
2016/06/23(木) 10:27:11.93ID:hqYZ/n3t
圏論初心者ですが、
関手と関数という同じようなものがなぜ２つ必要なのですか？
関手と関数はどういう関係なのですか？
0126１３２人目の素数さん
垢版 |
2016/06/23(木) 21:28:25.45ID:hqYZ/n3t
>>125
いえ、だから、圏論や関手はなぜ必要なのか？
が分からないのです。
圏論も関手も関数で表現できると思いますから
0127１３２人目の素数さん
垢版 |
2016/06/23(木) 21:42:19.95ID:I4E0bq2D
例えば sheaf morphism も関数で表現できるの？
0128１３２人目の素数さん
垢版 |
2016/06/23(木) 21:56:43.66ID:lClCszS4
扱う対象の違いじゃないか
集合といえば写像みたいな
0129１３２人目の素数さん
垢版 |
2016/06/23(木) 22:16:37.89ID:2hwfwBo3
>>126
そこでしたか
関数を一般化したものが射ですね
関数では表現できないけど関数のようなものの議論がしたいから圏論が必要なんですよ
0130１３２人目の素数さん
垢版 |
2016/06/23(木) 23:13:45.75ID:hqYZ/n3t
>>129
関数で表現できないものはないと思いますが？
それから、関数と同じようなものだと言ったのは関手です。射ではありません。
射は一般化され過ぎていて関数とはあまり似ていませんね
0131１３２人目の素数さん
垢版 |
2016/06/24(金) 00:48:33.51ID:0JSTWd+J
関数で表現できないものがないのであれば射を関数で表現できるのではないでしょうか
0132１３２人目の素数さん
垢版 |
2016/06/24(金) 00:52:56.14ID:UA+jyBKW
計算機では文字列変換も関数だな
0133１３２人目の素数さん
垢版 |
2016/06/24(金) 01:21:28.62ID:UA+jyBKW
理論を知りたい場合は写像
具体的な構成を知りたければ関数
なんとなく、そう思う
0134１３２人目の素数さん
垢版 |
2016/06/24(金) 02:21:29.96ID:0JSTWd+J
理論と具体的な構成とをより高い視点で見た時に＝で結べなければ現実的に(計算機的に)問題がありませんか?
0135１３２人目の素数さん
垢版 |
2016/06/24(金) 05:38:13.65ID:yep/Sgm2
>>130
＞関数で表現できないものはないと思いますが？

では、集合の圏の恒等関手を関数で表現してみてください。
0136１３２人目の素数さん
垢版 |
2016/06/24(金) 07:16:53.63ID:FWk91oEE
>>130
＞射は一般化され過ぎていて関数とはあまり似ていませんね
関手のどういうところが関数と似てると思ったの？
0137１３２人目の素数さん
垢版 |
2016/06/24(金) 09:41:25.97ID:Aa+erjCo
>>131
>>136
言うまでもないのでしょうが、
射は、（域と余域が指定されただけの）関数そのものであり、
関手は、圏から圏への（ある性質を満たす）写像として定義されています。
0138１３２人目の素数さん
垢版 |
2016/06/24(金) 11:15:11.87ID:pEwx4ZwT
>>137
関数では表現できない圏があることはFreydによって示された。
病的なものではなくトポロジーで自然に出てくるもの。
0140１３２人目の素数さん
垢版 |
2016/06/25(土) 08:12:15.52ID:NbU4EbCE
　
圏を一般化すべし
0141￥ ◆2VB8wsVUoo
垢版 |
2016/06/25(土) 08:29:23.12ID:zD6+8g8V
　
板を知性化すべしwww

コココ￥
0142１３２人目の素数さん
垢版 |
2016/06/25(土) 10:16:26.32ID:uGyatkjV
>>138
> 関数では表現できない圏があることはFreydによって示された。
そんなことはあるはずがないと思うのですが、
それは例えばどこで読めますか？
0144１３２人目の素数さん
垢版 |
2016/06/25(土) 17:53:25.57ID:xuCquKOL
関数をプログラムの関数みたいに広義にとらえて、
F(X)->FXと表現できるものと定義すれば、
確かに関手Fには、関数で表せられない定義とか無いのではないかと思ってきた。
射なら違いを言えそうだけど。
0145１３２人目の素数さん
垢版 |
2016/06/25(土) 18:13:56.09ID:xuCquKOL
関手は、関数より条件が厳しいから、
「圏CとC°との間に関手が存在する」というのを、
「圏CとC°との間に関数が存在する」と言い換えられないというのはあるな。
0146１３２人目の素数さん
垢版 |
2016/06/30(木) 11:23:28.17ID:BEKH5/PX
射を関数と捉えるのは違うけれど
圏の構造の根っこであるdomとcodと合成演算は結局は関数なんじゃなかろうか
関手もhaskellで言うfmapで完全に定まるし自然変換も対象から射への関数だし
0148１３２人目の素数さん
垢版 |
2016/07/02(土) 00:06:55.66ID:/M76Yfg0
>>124 から >>147 の中で米田のレンマが分かってるやつはいる？
0150１３２人目の素数さん
垢版 |
2016/07/02(土) 01:12:14.59ID:+avUO31H
多価関数とか確率的に取る値が変化するような関数でも合成できて恒等射が存在するのだから射になれるよね
逆にそのような具体例と同値な射のもつべき必要十分条件を圏論の言葉で記述できないだろうか
0151１３２人目の素数さん
垢版 |
2016/07/02(土) 09:45:21.89ID:2dDrJTx/
テンソルのスレでは誰も答えてくれなかったんですが、圏論的には
テンソル積の存在の証明で、なにかエレガントなものってないのでしょうか。
やっぱり、V×Wの全ての元から自由なR加群を作って商群を作るやつが
（これは圏論とは関係なさそうですが）一番ましな証明なんでしょうか。
0153151
垢版 |
2016/07/06(水) 09:53:51.67ID:5L5POXWg
よくみたら、テンソル積の存在なんて、単なる商群の普遍性そのもの
でした。おさわがせしました。

なんか、解決のための情報は全て頭の中にあるのに気が付かないって、
悲しいですね。

こんなの、これで何回目かなあ。>>152さん、こんなくだらない質問に
レスしてくださってありがとうございました。
0154１３２人目の素数さん
垢版 |
2016/07/06(水) 16:58:26.53ID:7HDwh2vc
確率変数を対象
条件付き確率分布 f(x|y)とg(y|z)を射とみなして
その合成をΣ[y] f(x|y)g(y|z) と定義すれば圏が作れるけど
そういう形で確率論をより抽象的に捉え直した文献とかある？
0155１３２人目の素数さん
垢版 |
2016/09/07(水) 16:45:26.75ID:kADodsu6
集合論におけるベルンシュタインの定理
「二つの集合に互いへの単射が存在すれば全単射が存在する」
に相当する
「二つの対象に互いにsprit monicな射が存在すればisomorophic」
圏の公理だけからは導けず良い？圏でないと成り立たないと思うのですが
成り立つ圏の特徴づけについて知りたいです

必要十分条件かあるいはメジャーな十分条件とか
あてずっぽうで完備圏ぐらいあれば十分な気もするんですがどんなもんでしょう？
0156１３２人目の素数さん
垢版 |
2016/09/08(木) 05:36:25.71ID:WfOArObE
>>155
位数2の自由群と位数3の自由群はお互いへの単射準同型が存在するけど、同型ではないな。
0160１３２人目の素数さん
垢版 |
2016/09/08(木) 15:17:59.33ID:5XVD3+N3
定理の主張そのものではなく証明の方針がね
split monicな射の行き先の対象が元の対象と「補対象」の直和に同型
というのと極限の存在ぐらいがいえればそのままもってこれそうな気がしてね
0161１３２人目の素数さん
垢版 |
2016/09/26(月) 00:01:00.43ID:yCyHtIBo
圏論の技法は、ただの代数幾何を圏論で書き直しただけの本で、
圏論の本質的なところが全く載っていない。
代数幾何と圏論をただ対応させただけで、圏論の事が学べるわけでは決してない。
代数幾何を理解している人にとって、立ち読みできる程度の内容だろうし、
圏論を理解している人にとっては、定義を補足しながら読んでいくことはできるが、
どちらも知らない人にとっては、定義が不十分かつ、
たまに例がミスってるので、読まないほうがいい。
数学科の学生なら、categories and sheaves を読むべき。
万が一、これを読めない能力あるいは根性あるいは環境下なら、
数学科やめたほうが国のために成るし、自分のためになると思う。
0165１３２人目の素数さん
垢版 |
2016/09/26(月) 00:04:01.32ID:yCyHtIBo
圏論の技法は、
小説として読む。（圏論の人）
圏論速見表。（代数幾何の人）
ポンコツ。（それ以外の人）
0176￥ ◆2VB8wsVUoo
垢版 |
2016/09/26(月) 00:09:48.53ID:24J2ARlR
馬鹿板遊びはもうヤメレ。頭の悪い奴が跋扈したらアカンやろ。東京都庁
みたいにナルぞ。

￥
0178￥ ◆2VB8wsVUoo
垢版 |
2016/09/26(月) 14:36:49.61ID:24J2ARlR
馬鹿板遊びはもうヤメレ。頭の悪い奴が跋扈したらアカンやろ。東京都庁
みたいにナルぞ。

￥
0188￥ ◆2VB8wsVUoo
垢版 |
2016/09/26(月) 16:59:53.82ID:24J2ARlR
馬鹿板遊びはもうヤメレ。頭の悪い奴が跋扈したらアカンやろ。東京都庁
みたいにナルぞ。

￥
0198￥ ◆2VB8wsVUoo
垢版 |
2016/09/27(火) 18:27:08.43ID:8a9ck3gd
馬鹿板遊びはもうヤメレ。頭の悪い奴が跋扈したらアカンやろ。東京都庁
みたいにナルぞ。

￥
0201￥ ◆2VB8wsVUoo
垢版 |
2016/09/28(水) 15:50:41.05ID:WIEHiU/H
馬鹿板遊びはもうヤメレ。頭の悪い奴が跋扈したらアカンやろ。東京都庁
みたいにナルぞ。

￥
0211￥ ◆2VB8wsVUoo
垢版 |
2016/09/28(水) 18:32:50.84ID:WIEHiU/H
馬鹿板遊びはもうヤメレ。頭の悪い奴が跋扈したらアカンやろ。東京都庁
みたいにナルぞ。

￥
0217１３２人目の素数さん
垢版 |
2016/09/29(木) 05:35:51.92ID:VSA+GABT
>>161
ホモロジー代数って知ってる？バカなの？
0218￥ ◆2VB8wsVUoo
垢版 |
2016/09/29(木) 06:08:17.84ID:xxT0xtG3
馬鹿板遊びはもうヤメレ。頭の悪い奴が跋扈したらアカンやろ。東京都庁
みたいにナルぞ。

￥
0231１３２人目の素数さん
垢版 |
2016/10/06(木) 22:03:30.47ID:WVFPbjvn
>>217
ホモロジー代数を知らないからこの本を購入した。
鎖複体の定義を複体としてるこの本はまるであてにならない。
自分はこの著者ほど愚かではない。
複体の定義すらしていないこの本はあてにならない。
抽象化が苦手なオタク研究者しか日本にはいないのかな。
ノーベル章とった誰かが危惧するのももっとも。
「圏論の技法」は買ってはいけない系の本。

この本がいいと言っている人間は純粋数学の発展には寄与しない。
もっと俗なところで社畜として社会に貢献してくれ。
0232１３２人目の素数さん
垢版 |
2016/10/06(木) 22:10:17.58ID:j2+VGhmd
>>231
ふーん、ホモロジー代数って分野の名前を知れてよかったねｗ
「コホモロジーのこころ」なんてどうおもう？読んだことある？
0233１３２人目の素数さん
垢版 |
2016/10/06(木) 22:19:34.74ID:WVFPbjvn
へー、それ面白そう。
ここんとこ仕方ないから、敬遠してたハーツホーン読もうかと思っている。
0234１３２人目の素数さん
垢版 |
2016/10/06(木) 22:26:38.11ID:WVFPbjvn
敬遠というか後回し。
0235１３２人目の素数さん
垢版 |
2016/10/06(木) 22:31:14.00ID:WVFPbjvn
コホモロジーのこころ、技法より良さげ。
0236１３２人目の素数さん
垢版 |
2016/10/06(木) 22:32:30.55ID:WVFPbjvn
そして、技法でお金使い果たしので買えない。
0237１３２人目の素数さん
垢版 |
2016/10/06(木) 22:41:48.74ID:J/sxhRve
>>231
知ってる複体の定義は何？単体複体？ほうたい
0238１３２人目の素数さん
垢版 |
2016/10/06(木) 22:44:44.78ID:my2YbekI
右も左もわからない頃、幾何学でホモロジーが出てきたから
勉強しようとして「ホモロジー代数」という本を手に取ったところ
幾何的の話が全く書いてなくて困惑したのはいい思い出
0240１３２人目の素数さん
垢版 |
2016/10/06(木) 22:57:37.53ID:WVFPbjvn
>> 237
ncatlab complex に載ってる

ttps://ncatlab.org/nlab/show/complex

「翻訳」という自己関手 をまず定義する必要があるみたい
0241１３２人目の素数さん
垢版 |
2016/10/06(木) 23:14:49.37ID:J/sxhRve
>>240
いや「お前の知っている複体の定義は？」ということなんだが

まず～を定義する必要があるみたい、ってなんだそりゃ
それ「複体」という言葉を知ってるだけで中身(=定義)は知りません、しかもその言葉もネットで見つけただけです、ってことじゃろ
よくそれで「この著者ほど愚かではない(ｷﾘｯ」なんて言えるなｗｗｗｗｗｗｗｗ
0242１３２人目の素数さん
垢版 |
2016/10/06(木) 23:17:57.96ID:WVFPbjvn
イヤイヤ、
英語読めよwwww
全部書いてあるやろ。
謙遜して言ったけど、
著者と同じレベルでやばいなおまえ
0243１３２人目の素数さん
垢版 |
2016/10/06(木) 23:21:15.13ID:WVFPbjvn
「単体複体という具体例知ってます」ってのは、圏論の勉強ではない
0244１３２人目の素数さん
垢版 |
2016/10/06(木) 23:28:03.04ID:J/sxhRve
いや別に俺は>>240に載ってる「複体」の定義が知りたいわけではない

ただ単に、
・ホモロジー代数は知らない
・鎖複体を「複体」の定義としている本を批判する
・「コホモロジーのこころ」は面白そう
と宣う人の知っている「複体」の定義が知りたいだけ、なのに「その前に～というものを定義する必要があるみたい」なんて返ってきたらがっかりだわ
0245１３２人目の素数さん
垢版 |
2016/10/06(木) 23:29:28.74ID:WVFPbjvn
いや、だから俺は勉強中やってwww
0246１３２人目の素数さん
垢版 |
2016/10/06(木) 23:30:48.86ID:j2+VGhmd
幾何学的実現
0247１３２人目の素数さん
垢版 |
2016/10/06(木) 23:37:47.23ID:WVFPbjvn
ただ、圏論はなんでも抽象化すると思う。
古典コンピュータで扱ってる内容に置いては必ず。

だから、もっと貪欲に抽象化するべきと思う。
0248１３２人目の素数さん
垢版 |
2016/10/06(木) 23:41:08.08ID:J/sxhRve
>>242
せめてお前が全部見てから言えよ……なんだ「「翻訳」という自己関手を定義する必要があるみたい」って
>>240見たらtranslationは単なる自己同値じゃねーか、んなもんこのレベルになって定義するものではないだろ

正直言って>>240の定義も知らなかったんだろ？で、結局どの「複体」の定義を知ってるの？
0250１３２人目の素数さん
垢版 |
2016/10/06(木) 23:53:10.72ID:WVFPbjvn
イヤイヤ、そこ記述するやろ。圏論の数学書は。
wwwwwwwwwwwwwwwwwwwwwwwww

wwwwwwwwww

おまえ、マジで著者かww
0251１３２人目の素数さん
垢版 |
2016/10/06(木) 23:54:14.98ID:WVFPbjvn
しかも論点ずらしにかかってるあたり
おまえやばいwwww
0252１３２人目の素数さん
垢版 |
2016/10/06(木) 23:59:39.93ID:j2+VGhmd
圏論よりかはコホモロジーに変なロマンを抱いてほしい。
0253１３２人目の素数さん
垢版 |
2016/10/07(金) 00:00:59.16ID:R+P6lDXn
指数定理おじさん居たんだ
0254１３２人目の素数さん
垢版 |
2016/10/07(金) 00:04:40.00ID:N7QdE8HV
あー、それな。そこんとこ弱いかも。

algebra of geometry と
categories and sheaves とどっちか読もうと思っている

やっぱグロタン系読んだらなんかいい感じなんじゃないの？
そこんとこ教えて下さい。
0255１３２人目の素数さん
垢版 |
2016/10/07(金) 00:13:36.63ID:N7QdE8HV
>>249
「翻訳」という言葉からの圏論の世界での広がりが見えないのかな。

これがまさに抽象化でしょうwwwww
0256１３２人目の素数さん
垢版 |
2016/10/07(金) 00:14:11.04ID:/HDtn/fp
>>250
自己関手=ある圏から自分自身への関手
同値=逆向きの関手が存在して2つの合成がそれぞれ恒等関手と自然同型

こんなものは圏と関手の定義のすぐ後ででてくるものであり、圏論を勉強している人が知らないはずはないでしょ
>>240の発言は池沼レベルですな

>>251
鎖複体の時点でアーベル圏(特に加群圏)上の(コ)ホモロジー論なんですよ
代数で大事なアーベル圏を捨てるのは愚の骨頂、無駄に抽象化すればいいというものではない
0257１３２人目の素数さん
垢版 |
2016/10/07(金) 00:17:51.81ID:N7QdE8HV
>>250

単なる自己同値というけど、
自己同値について、どれほど理解しているんだ？

圏を三つくらい重ねたら、
「同じ」という言葉で片付けられないほど
結構複雑だと思うけど。
0258１３２人目の素数さん
垢版 |
2016/10/07(金) 00:18:22.55ID:N7QdE8HV
>>248
の間違い
0259１３２人目の素数さん
垢版 |
2016/10/07(金) 00:18:46.53ID:VwpObBRV
指数定理厨だけどツイスター理論から層や多変数複素解析へ行くルートも素敵だと思うの
0260１３２人目の素数さん
垢版 |
2016/10/07(金) 00:21:19.24ID:N7QdE8HV
>>257

おまえ、マジでいつ俺が鎖複体を捨てたwwww
勝手に解釈するのやめろwww
0261１３２人目の素数さん
垢版 |
2016/10/07(金) 00:22:02.67ID:N7QdE8HV
アーベル圏捨てたわけでもないwww
0262１３２人目の素数さん
垢版 |
2016/10/07(金) 00:22:45.25ID:N7QdE8HV
圏論は共通言語作ろうよって話なの。
わかる？
0263１３２人目の素数さん
垢版 |
2016/10/07(金) 00:24:46.43ID:N7QdE8HV
なので、まずは英語きちんと翻訳しなきゃいけないでしょ。
0264１３２人目の素数さん
垢版 |
2016/10/07(金) 00:25:01.43ID:/HDtn/fp
>>257
何言ってんのお前
すまんが集合論の同値関係からやり直して来てくれ
0265１３２人目の素数さん
垢版 |
2016/10/07(金) 00:28:36.69ID:N7QdE8HV
イヤイヤ、圏同値だろうwwww

おまえ、圏論やり直してこい、
自然変換いっぱい出てくるやろがwwwww
0266１３２人目の素数さん
垢版 |
2016/10/07(金) 00:31:05.08ID:N7QdE8HV
自然変換じゃなくて自然同型か。

さらに自然変換にすれば、lax な同値とか考えれて世界広がるでしょwww
0267１３２人目の素数さん
垢版 |
2016/10/07(金) 00:32:28.21ID:/HDtn/fp
>>265
いや同値関係からやってこい
圏同値も同値関係だから

あ、同値関係は集合上でしか定義されてないわけではないからね！真のクラスで定義されてるからね！そこ突っ込むなよ！
0268１３２人目の素数さん
垢版 |
2016/10/07(金) 00:34:02.18ID:N7QdE8HV
ミンコフスキーへの道は険しいが、
その頂に立てば、
ツイスター理論面白そう
なんかイメージがわかないのでよかったらイメージでいいんで教えて下さい。
0269１３２人目の素数さん
垢版 |
2016/10/07(金) 01:58:41.01ID:VwpObBRV
うーん、説明したいけどなんか説明できない
もどかしい
0280１３２人目の素数さん
垢版 |
2016/10/07(金) 14:49:07.34ID:h3oew2pG
圏とかいって実は集合Xの上っていうｗ
0281１３２人目の素数さん
垢版 |
2016/10/07(金) 14:59:08.72ID:h3oew2pG
さっさとこのループから抜け出して
微積分学やろうぜｗ
0282１３２人目の素数さん
垢版 |
2016/10/07(金) 15:01:41.08ID:h3oew2pG
トポロジーのあの異常な論理を制御できるのは圏論だけ
それだけで価値がある
0283１３２人目の素数さん
垢版 |
2016/10/07(金) 15:08:20.48ID:h3oew2pG
XとYの距離って遠いなｗ
0285￥ ◆2VB8wsVUoo
垢版 |
2016/10/07(金) 18:28:48.73ID:MFZm7jki
糞板って普及センでヨロシ。

￥
0296１３２人目の素数さん
垢版 |
2016/10/08(土) 05:38:18.01ID:u8a1oi/t
非アーベル圏を非代数的確率圏と看做すことができるか
いいや非アーベル圏の作用がどんなものかを記述できるのか
またこんな話になってしまいそうで何だかな
0297１３２人目の素数さん
垢版 |
2016/10/08(土) 05:49:22.21ID:u8a1oi/t
数学のネーター切れ
0298￥ ◆2VB8wsVUoo
垢版 |
2016/10/08(土) 06:10:15.25ID:tA6BJFvJ
馬鹿板遊びはもうヤメレ。頭の悪い奴が跋扈したらアカンやろ。東京都庁
みたいにナルぞ。

￥
0309１３２人目の素数さん
垢版 |
2016/10/08(土) 19:24:08.28ID:jj8UYDOj
>>296 それ詳しく
0310￥ ◆2VB8wsVUoo
垢版 |
2016/10/08(土) 20:42:18.71ID:tA6BJFvJ
￥

>347 名前：１３２人目の素数さん ：2016/09/22(木) 01:38:42.56 ID:CSzeBKOI
> 337 名前：あぼ～ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ～ん
>
> 338 名前：あぼ～ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ～ん
>
> 339 名前：あぼ～ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ～ん
>
> 340 名前：あぼ～ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ～ん
>
> 341 名前：あぼ～ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ～ん
>
> 342 名前：あぼ～ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ～ん
>
> 343 名前：あぼ～ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ～ん
>
> 344 名前：あぼ～ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ～ん
>
> 345 名前：あぼ～ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ～ん
>
> 346 名前：あぼ～ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ～ん
>
0311１３２人目の素数さん
垢版 |
2016/10/18(火) 19:42:01.77ID:/lnsfmsE
圏論の技法:

局所化の定義も一般性を欠いているけど、なんなんですか、これ。
0322１３２人目の素数さん
垢版 |
2016/10/19(水) 00:25:58.22ID:1rNkz98z
age
0326１３２人目の素数さん
垢版 |
2016/10/19(水) 10:44:24.23ID:1rNkz98z
昨日、警察に相談に行ってきた。
「荒らし行為について様子を見る」とのこと。
0327１３２人目の素数さん
垢版 |
2016/10/19(水) 12:07:24.94ID:MhjUsdZO
>>311
著者は「一般化すればするほど良い」と考えてはいないわけだな。
一つの見識だと思う。
0338１３２人目の素数さん
垢版 |
2016/10/20(木) 22:38:43.33ID:C3lGe+rs
頭悪そうなのが他のスレでいっぱい湧いているから、道標としてあげておこう
0339￥ ◆2VB8wsVUoo
垢版 |
2016/10/20(木) 23:04:11.65ID:4i85UFaq
￥

>673 名前：１３２人目の素数さん ：2016/10/20(木) 08:48:57.82 ID:1+lfflhP
> 阪大ごときで研究者目指したらアカンやろw
>
>674 名前：￥ ◆2VB8wsVUoo ：2016/10/20(木) 08:53:56.11 ID:4i85UFaq
> ホウ、なるほどナ。
>
> ￥
>
>675 名前：￥ ◆2VB8wsVUoo ：2016/10/20(木) 09:21:36.53 ID:4i85UFaq
> そやし東大と京大以外の大学院は全部閉鎖せんとアカンわ。無駄やさかいナ。
>
> ￥
>
>676 名前：￥ ◆2VB8wsVUoo ：2016/10/20(木) 09:28:07.86 ID:4i85UFaq
> ほんで宮廷以外の数学科かて全部閉鎖せんとアカンわ。馬鹿板人みたいな
> 低能ゾンビばっかし居っても税金の無駄にナルだけで役に立たへんしナ。
>
> ￥
>
0340１３２人目の素数さん
垢版 |
2016/10/24(月) 19:45:16.91ID:MdT1d5/x
ologとか知ってますか、みなさん？
0341￥ ◆2VB8wsVUoo
垢版 |
2016/10/24(月) 20:01:17.78ID:bFmrc/h3
￥

>269 名前：１３２人目の素数さん ：2016/09/24(土) 11:16:21.64 ID:ERaem3b8
> 生活保護受給者の三割がメタボだそうだ
> マス哲もそうなのか？
>
>270 名前：￥ ◆2VB8wsVUoo ：2016/09/24(土) 12:04:07.63 ID:gc7JIRwz
> 粗食してますんで、太ってはいますがまあ大丈夫そうですわ。今は精神科
> 系の強い薬物が一切必要が無いので、在任中よりも猛烈に健康になったと
> 思いますね。ストレスが何も無いっちゅうんはホンマに有り難いですわ。
>
> ￥
>
>271 名前：１３２人目の素数さん ：2016/10/22(土) 11:25:03.06 ID:EFTkFzKF
> どぴゅ
>
>501 名前：１３２人目の素数さん ：2016/06/11(土) 12:35:37.39 ID:Ise/AxZk
> 　
> 哲也はコンヌの黒歴史
>
>502 名前：１３２人目の素数さん ：2016/10/22(土) 11:24:37.17 ID:EFTkFzKF
> どぴゅ
>
0352１３２人目の素数さん
垢版 |
2016/11/02(水) 11:30:20.38ID:s51RIqf4
可換環の圏において、極限余極限はどこまで存在するのでしょうか？

始対象 : Z
終対象 : 0
ファイバー積 : 直積の部分で像が同じ者の集まり
有限余ファイバー積 : テンソル積

はあるはずなので、要は小さい極限と有限余極限はありますよね？
どの本でも直極限は当然のように使っていますが、具体的構成は出来ているのでしょうか？
0353１３２人目の素数さん
垢版 |
2016/11/02(水) 12:15:38.40ID:3tgdgBf7
加群の圏で直極限とって、それに積が定まって可換環になることを確かめればいい
0367１３２人目の素数さん
垢版 |
2017/02/04(土) 20:30:22.61ID:kRfEtEAD
age
0368１３２人目の素数さん
垢版 |
2017/02/04(土) 21:46:15.87ID:kRfEtEAD
三角圏で八面体公理満たすように設定したのまでは、理解したんだが、
これ具体的にどこで出てくるんだ。

量子力学あるいはもっと言えば、数論幾何とは思うが、
3次元世界でなんかいい具体例ないの？
0369１３２人目の素数さん
垢版 |
2017/02/05(日) 21:11:11.97ID:jlK1ZdCj
>>368
導来圏の方がむしろ実体なんじゃないか？とまで思えるようになるのが現代的らしいよ。
まあ幾何学的実現だけど。
0370１３２人目の素数さん
垢版 |
2017/02/06(月) 02:53:25.43ID:Lqm3/gW6
なるほど、言われてみれば確かにそんな気がする、
導来圏って「場」を記述する何かなのかな。

三角圏は、格子場みたいな感じ？
0371１３２人目の素数さん
垢版 |
2017/02/06(月) 02:59:24.60ID:Lqm3/gW6
「圏論の技法」って要は、

ホモロジーは4章いってね
量子場は6章いってね

って話で、それ以外中身ないし、読み物にしてくれた方がよっぽど分かりやすい。
ってか一体どこに「圏論の技法」があるんだこの本。
0372１３２人目の素数さん
垢版 |
2017/02/06(月) 05:24:21.81ID:U1TkOoKU
個人的には導来圏～K群～指数（指数定理の）～整数で局所的に擬同型～で割り切って考えて単純な例にしてる。
0385１３２人目の素数さん
垢版 |
2017/02/22(水) 15:37:59.07ID:+mCPD1yq
http://imgur.com/a/8guXm

公の図書館で、本借りようとしたら、
参考文献のところで広告が貼られていた。
一応通報しておいたけど、
檜山とかいう人のページは見たことあるけど、論理的にも世間的にも少し頭おかしいと思うので、圏論勉強する人は気をつけて下さい。
0386１３２人目の素数さん
垢版 |
2017/02/22(水) 16:14:31.58ID:YoN+DgPm
これはひどい
0387１３２人目の素数さん
垢版 |
2017/02/22(水) 16:15:41.34ID:YoN+DgPm
らくがき古本を仕入れたせいかもしれないがな
0389１３２人目の素数さん
垢版 |
2017/02/22(水) 22:28:59.47ID:+mCPD1yq
>>387
出版屋から図書館宛の払込票がついてたから違うと思う。陰湿な犯罪
0391１３２人目の素数さん
垢版 |
2017/02/22(水) 22:41:34.53ID:+mCPD1yq
ちょっとぼけてるけど、図書館の人にはちゃんと借りる前に、破損記録しといてもらった。こういうの本当にやめてほしいです。
0392１３２人目の素数さん
垢版 |
2017/02/22(水) 23:33:02.03ID:GUaAZoqO
大阪じゃあ、しかたないな。
表紙以外を古紙商に売られてない時点で
御の字かと。
0414１３２人目の素数さん
垢版 |
2017/02/24(金) 11:53:49.27ID:0LiRvdNp
犯罪者　檜山正幸　のスレはこちらです。
0415１３２人目の素数さん
垢版 |
2017/02/24(金) 21:57:36.08ID:BLCDFFeG
『忠告であるが、圏論は…、代数幾何、可換環論、多様体論などに応用して、はじめて真価を発揮する。
そういうバックグラウンドを持っていない段階で、先に圏論を勉強してしまうと…何も新しい結果を得られずに終わってしまう。』
数理科学 2017.3

これ檜山その他ぷよぐらみんぐ界隈の人種、死ぬんじゃねw
0416１３２人目の素数さん
垢版 |
2017/02/24(金) 22:09:31.97ID:XpRsfiMt
計算機科学にホモロジーコホモロジーなんてきっと出てこないよね
計算機科学で圏論がどんな使われ方するんだろ
0417１３２人目の素数さん
垢版 |
2017/02/24(金) 23:07:13.33ID:XpIYZPYP
おまじない
0418１３２人目の素数さん
垢版 |
2017/02/24(金) 23:23:17.87ID:Je70YUEi
ドレッシング
0421１３２人目の素数さん
垢版 |
2017/02/25(土) 10:09:00.59ID:0jsVOOWK
これでも日本のプログラマの中では知性がマシな分類の連中なので容赦してほしい。
多少楕円暗号ぐらい齧ってる人間も混じってるかもしれないし。
0422１３２人目の素数さん
垢版 |
2017/02/25(土) 11:53:34.64ID:EndaDZqw
>>415

多様体への応用ってあれかドラームの事か？
0423１３２人目の素数さん
垢版 |
2017/02/25(土) 11:55:48.62ID:EndaDZqw
>>421
容赦してほしいで済めば、警察いらねえだろ。
0424１３２人目の素数さん
垢版 |
2017/02/25(土) 12:02:21.22ID:EndaDZqw
>>415

数理頭おかしくなったか？なんか矛盾してないかこれ

むしろ新しい結果なんて求めていない、
大多数の数学履修者には好都合だってことだろ？

研究するやつにも基礎は必要で、
研究したいやつは具体的な勉強始めるだろこれ。
0425１３２人目の素数さん
垢版 |
2017/02/25(土) 13:05:52.70ID:u3Do2FGX
犯罪者　檜山正幸　のスレはこちらです。
0436１３２人目の素数さん
垢版 |
2017/02/26(日) 15:48:57.94ID:HGhFT5eC
犯罪者　檜山正幸　のスレはこちらです。
0437１３２人目の素数さん
垢版 |
2017/02/27(月) 09:49:20.81ID:8o/vbQ6+
圏論の定義って今では
「対象の集まりがあって、各対象A,BについてAからBへの射の集まりHom(A,B)があって云々」
ってなってるのが多いけど、このときに射のdomとcodomが一意に定まるってのがイマイチ腑に落ちなかったんだが
『ベーシック圏論』読んで納得したわ
0439１３２人目の素数さん
垢版 |
2017/02/27(月) 11:34:16.48ID:8o/vbQ6+
>>438
直接の言及はP.14だけどより詳しいことは3.3節に書かれてる
「任意の2つの集合の共通部分に意味はあるか」って話だね
0440１３２人目の素数さん
垢版 |
2017/02/27(月) 11:57:01.55ID:dydYVoOF
>>437
f∈Hom(A,B) ならば dom(f)=A, codom(f)=B
それだけの事ではないの？

>>439
(A,B)≠(A',B') なら Hom(A,B)∩Hom(A',B')=φ
こういうのちゃんと明記されてないと不安でしょ とかそういう話？
0442１３２人目の素数さん
垢版 |
2017/02/27(月) 18:51:21.58ID:gwqEYKRl
XORとかNANDがあればどんな論理回路も作れるって小学生の頃やったなあ
なつかしい。
0443１３２人目の素数さん
垢版 |
2017/02/28(火) 19:31:59.52ID:do8Si2FC
ベーシック圏論立ち読みしてきたけど、これは良さそう。
極限全く理解してないやつが三角圏述べているような、にわか書籍ではなさそう。
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
★★★数学徒は馬鹿板をしない生活を送り、日頃から真面目に学問に精進すべき。★★★

￥
0550１３２人目の素数さん
垢版 |
2017/06/06(火) 13:24:39.97ID:1phedCzu
>>537
アーベル群全体のなす圏Abのopposite圏をCとすると
Abでの無限直和Sと無限直積TはそれぞれCでの無限直積と無限直和になるが、
AbではSからTへ全射がないこともあり、そのときCではTからSにmonoはない
0551537
垢版 |
2017/06/06(火) 15:28:57.51ID:7AVY0dvd
>>550
なああああああるほど。てっきり単射は存在するものとばかり思い込んでました。
すごいなあ。ありがとうございました。でも>>538も間違ってないようにも
思えるんだけど、どうなのかなあ。
0553１３２人目の素数さん
垢版 |
2017/06/07(水) 10:59:56.91ID:qduO0bA2
どの辺が怪しいの？
0566￥ ◆2VB8wsVUoo
垢版 |
2017/06/15(木) 02:23:08.85ID:BqTpLEtE
☆☆☆理性を重視すべき数学徒の基本、ソレは『馬鹿板をしない』という事です。☆☆☆

￥
0578１３２人目の素数さん
垢版 |
2017/08/01(火) 11:54:00.14ID:2W8vIwD5
nine lemmaに関することなのですが、第1行と第3行が
短完全列なのに第2行が短完全列にならない例というのは
難しいのでしょうか。どなたかそういう例を教えて
いただけないでしょうか。
0591１３２人目の素数さん
垢版 |
2018/07/13(金) 03:36:12.54ID:NF+mEZJb
「圏論の歩き方」という書籍を読んでいるが，かなり良いと思う。
まず翻訳ではなく，また共著であるので少なくとも用語の誤りは心配しなくていいと言える点。
次に前述の共著であるという部分と重なるのだが，普通の数学書での共著とは異なり，
本当に様々な（物理学や計算機科学の人間もいる）人が議論形式で話を進めていっている点。
ほかにもいろいろ。でも寝むいので書かない。おやすみ
0593１３２人目の素数さん
垢版 |
2018/09/05(水) 13:07:14.37ID:zyiCXR7V
剣論の歩き方は座談会とかはいらなかった
ああいう内容はウェブにでもあげればいいのであって、紙媒体の本にはいらない内容
0594１３２人目の素数さん
垢版 |
2018/09/09(日) 22:34:30.03ID:0QVIf1VI
前原　「圏論入門」
アマゾンみたらすこぶる評判悪いけど、そんなにダメな本なの？
0595１３２人目の素数さん
垢版 |
2018/09/13(木) 19:43:20.88ID:bJTBzqrE
やっぱりなかなかおかしな本ではあると思う。
ただ、Awodeyの訳書があまりに酷過ぎたせいで
徹底的に粗探しをされて居るような部分も結構ある

和書で類書が無いのは確かなので
0598１３２人目の素数さん
垢版 |
2019/01/23(水) 03:53:32.92ID:7HkkW1F8
81 名前：ご冗談でしょう？名無しさん[sage] 投稿日：2019/01/23(水) 03:51:57.54 ID:???
二重複体とか幾何学と代数学のカテゴリー間で矢鱈「翻訳」作業し続けるうちに抽出される情報もある。

物理学と数学間の翻訳作業
ゲージ理論とファイバーバンドルの理論、接続の理論の間で用語の翻訳作業やってるうちに代数幾何ルネッサンス20.5世紀の数学の再認識が行われたこともある。
0600１３２人目の素数さん
垢版 |
2019/02/17(日) 19:19:44.15ID:YMsr2VGN
273 名前：１３２人目の素数さん[sage] 投稿日：2019/02/13(水) 14:12:13.15 ID:OP86Lp9C
>>270
著者と編集者の名前晒して初版は全部回収しないとダメ。こんな本が出回るのを許す社会はいつまでたっても進歩しない。
この初版が図書館に所蔵されたりしたら、将来それ読む奴悪夢だぞ。社会的損失が大きい。これくらいの間違いは自分で修正しながら読むものだみたいな常套句はもう看破されている。

274 名前：１３２人目の素数さん[sage] 投稿日：2019/02/13(水) 15:09:38.91 ID:HbWrxCkm
最近はHaskellとかの圏論ベースのプログラミングが流行ってて、バカな情報屋が圏論入門しようとポチって爆死するのが目に見えるな。

著者うはうは！

275 名前：１３２人目の素数さん[sage] 投稿日：2019/02/13(水) 21:44:51.93 ID:WvwaSama
>>274
連中のおかげで裾野が拡がって圏論本の出版が増えたのは有難い。
けれど、ああいう手合いがカテゴリーを理解出来るかと言うとまず無理。
関手の定義くらいまではついて行けても、肝心の自然変換、随伴に届かない。
高校、専門学校卒のコーダーってホント数学出来ないから。
圏の実例のほとんどが知らん、分からん状態になる。
0601１３２人目の素数さん
垢版 |
2019/02/17(日) 19:20:12.88ID:YMsr2VGN
276 名前：１３２人目の素数さん[] 投稿日：2019/02/13(水) 21:55:23.79 ID:NRvQrakG
自然変換って関手圏の射だから関手が行けるなら行けるじゃん
0602１３２人目の素数さん
垢版 |
2019/02/17(日) 19:20:35.27ID:YMsr2VGN
279 名前：１３２人目の素数さん[sage] 投稿日：2019/02/14(木) 07:16:22.85 ID:WPWHN22M
Awodeyの訳書出したときにも散々叩かれてたのに何もしないからこうなる
著者も悪いが共立出版は尚悪い
0603１３２人目の素数さん
垢版 |
2019/02/17(日) 19:21:00.54ID:YMsr2VGN
281 名前：１３２人目の素数さん[sage] 投稿日：2019/02/14(木) 14:01:19.48 ID:jI6Nn0La
Awodeyは一応みんな抑えてたよね。
内心「無いわー」と思いながら。
0604１３２人目の素数さん
垢版 |
2019/02/20(水) 10:56:46.48ID:fcnii2ux
>>594
https://www.kyoritsu-pub.co.jp/bookdetail/9784320110762
ここみると，既に「この書籍は現在お取り扱いできません。」
って出てるね．正誤表のpdfもあるから，買ってみるかと
某書店にいったらまたあったから買ってみた．評判通りだね．

数学ワンポイント双書の現代版にしたいそうだけど，ちょうどベクトル
解析のワンポイント双書が手元にあるけど，８５０円だからなぁ．
高いかなぁ．
0605１３２人目の素数さん
垢版 |
2019/02/23(土) 23:58:54.43ID:SmK94Oux
https://www.daily.co.jp/

ヒトモドキニホンザル兵庫部落関西猿死ね
0607１３２人目の素数さん
垢版 |
2019/02/24(日) 00:02:01.04ID:YlcM1pRs
https://www.cnn.co.jp/showbiz/35133125-2.html

中華文明に嫉妬するニホンザルヒトモドキの親戚土塵ヒトモドキニガークソ食いうんこフェイス低脳人食い象殺害クロンボゴキブリ害虫土俗ゴリラ撃ち殺せ
0608低学歴脱糞老女・清水婆婆の連絡先：葛飾区青戸６－２３－１９
垢版 |
2019/03/03(日) 09:57:21.69ID:KV/cokeJ
【超悪質！盗聴盗撮・つきまとい嫌がらせ犯罪者の実名と住所を公開】
①井口・千明（東京都葛飾区青戸６－２３－１６）
※盗聴盗撮・嫌がらせつきまとい犯罪者のリーダー的存在／犯罪組織の一員で様々な犯罪行為に手を染めている
　低学歴で醜いほどの学歴コンプレックスの塊／超変態で食糞愛好家である／醜悪で不気味な顔つきが特徴的である
②宇野壽倫（東京都葛飾区青戸６－２３－２１ハイツニュー青戸２０２）
※色黒で醜く太っている醜悪黒豚宇野壽倫／低学歴で人間性が醜いだけでなく今後の人生でもう二度と女とセックスをすることができないほど容姿が醜悪である
③色川高志（東京都葛飾区青戸６－２３－２１ハイツニュー青戸１０３）
※色川高志はyoutubeの視聴回数を勝手に短時間に何百何千時には何万回と増やしたり高評価・低評価の数字を一人でいくつも増やしたり減らしたりなどの
　youtubeの正常な運営を脅かし信頼性を損なわせるような犯罪的業務妨害行為を行っています
※色川高志は現在、生活保護を不正に受給している犯罪者です／どんどん警察や役所に通報・密告してやってください

【通報先】
◎葛飾区福祉事務所（西生活課）
〒１２４－８５５５
東京都葛飾区立石５－１３－１
℡０３－３６９５－１１１１

④清水（東京都葛飾区青戸６－２３－１９）
※低学歴脱糞老女：清水婆婆　☆☆低学歴脱糞老女・清水婆婆は高学歴家系を一方的に憎悪している☆☆
　清水婆婆はコンプレックスの塊でとにかく底意地が悪い／醜悪な形相で嫌がらせを楽しんでいるまさに悪魔のような老婆である
⑤高添・沼田（東京都葛飾区青戸６－２６－６）
※犯罪首謀者井口・千明の子分／いつも逆らえずに言いなりになっている金魚のフン／親子孫一族そろって低能
⑥高橋（東京都葛飾区青戸６－２３－２３）
※高橋母は夫婦の夜の営み亀甲縛り食い込み緊縛プレイの最中に高橋親父にどさくさに紛れて首を絞められて殺されそうになったことがある
⑦長木義明（東京都葛飾区青戸６－２３－２０） ※日曜日になると風俗店に行っている
0609１３２人目の素数さん
垢版 |
2019/04/05(金) 15:15:04.00ID:qFtcFGI4
296 デフォルトの名無しさん[] 2019/04/04(木) 13:40:08.49 ID:l5IgkZnr
自然数が射(関数)になっていると言う感覚が分かった気がする。

Haskellで書けないけど、書けるとするなら

1 = 1

1という名前の1を返す引数無しの関数。
0610１３２人目の素数さん
垢版 |
2019/04/05(金) 15:16:42.24ID:qFtcFGI4
643 デフォルトの名無しさん[] 2019/03/31(日) 08:00:06.83 ID:S4Tb/ZFO
次世代かは知らんけど、Haskell奥が深い。
プログラマーのための圏論っていうのをネットから落として読んでるが、
圏論的には変数や値そのものも関数足り得るとか、読んでて面白い(理解してるかは怪しいが)

int n = 1とint n(){ return 1 }が同じと言うのは言い得て妙だなと。
Haskellで関数にカッコ使わないのはこれを体現する為なんだなと。

n = 1 ― Haskell的には変数でもあり、引数無しの関数。

関数も値でもあるんだから

sum = foldl (+) 0は、sum xs = foldl (+) 0 xsの部分適用で変数を(見かけ上)減らした関数であると同時に、
部分適用した関数に束縛した変数でもある。。。と。

と言うことはHaskellのmain関数も、関数であり変数なんだなーと。
関数を呼んでプログラムが走り出すとも言えるし、変数を評価しようとして、結果として束縛されたプログラムが走り出すとも言える。

main = putStrLn "hello" ― main関数を呼ばれたとも言えるし、変数mainを評価して値(IO ())を得る過程でプログラムが走り出すとも言える。
0613１３２人目の素数さん
垢版 |
2019/07/20(土) 11:20:20.92ID:bSAoQnjE
2030
ふうL@Fu_L12345654321
学コン1傑いただきました！
とても嬉しいです！

ｈｔｔｐｓ://pbs.twimg.com/media/D-IuUuqVUAALnAB.jpg
ｈｔｔｐｓ://twitter.com/Fu_L12345654321/status/1144528199654633477
https://twitter.com/5chan_nel (5ch newer account)
0614１３２人目の素数さん
垢版 |
2019/07/20(土) 18:02:06.13ID:b/oDWNJE
>>592
科哲の人達も割と圏使う話は聞いたことあるが、何をどう使って結論をどう出すのかさっぱり分からん。
0616１３２人目の素数さん
垢版 |
2019/08/22(木) 20:07:19.34ID:Lpj8AJbU
全順序集合を圏としてみたとき、その部分のcolimitやlimitを考えることは最大元と最小元を考えることに相当するかと思います。
同様に半順序を圏とみて極大元、極小元を圏の言葉で上手に表す方法ってありますか？
少し考えたのですが、極小なら「それより小さいものがない」が定義なので射が生えてないことを言う必要があって少なくとも普遍性で表せないように思えました。
0617１３２人目の素数さん
垢版 |
2019/08/23(金) 21:49:04.35ID:85gOdZkA
極大元や極小元については半順序だろうと全順序だろうと関係ないのでは？
0618１３２人目の素数さん
垢版 |
2019/08/24(土) 20:34:19.58ID:6iEiyYz/
全順序だと極大と最大が一致するので話が簡単になりませんか？一般の極大は単に極限では定義できないですよね？
0619１３２人目の素数さん
垢版 |
2019/10/18(金) 14:09:05.18ID:OmEECipg
マックレーンの「数学ーその形式と機能」の第１１章「集合、論理、圏」を読んでいたら
圏論的な冪の普通の特徴づけの後に、
「集合の件では任意の２つの対象ZとYに対して冪Z^Yが存在するわけであるが、
このことは、ベクトル空間（またはアーベル群）の圏でも成立する」
とあるんですが、ベクトル空間の圏には圏論的な冪は存在しませんよね？
他ならぬマックレーンのことですから、そんなことを間違うはずはないので、
関数集合としてのZ^Yがベクトル空間の圏の対象になることだけを言っているのでしょうか？
0620１３２人目の素数さん
垢版 |
2019/10/18(金) 14:15:14.00ID:48cliLMb
前後わからないけどZ^YをHom(Y,Z)の意味でつかってるとかでは？
その本の冪対象の定義はなんなん？
0621１３２人目の素数さん
垢版 |
2019/10/18(金) 15:05:23.36ID:OmEECipg
>>620
「～　この冪の記述は積を持つ任意の圏Cにも適用される。ある圏で、任意の１組の対象ZとYに対して、
対象Z^Yと射 e ; Z^Y ╳ Y ――> Zがとれ、いかなる射f ：X ╳ Y ――> Zに対しても射Fが一意に存在し、
下の図式が可換になる時、その圏は冪を持つと言う」

X ╳ Y ――――F ╳ 1 ―――― > Z^Y ╳ Y ――― e ――> Z
――――――――――――― f ―――――――――――――>
（fはX ╳ YからZへの射のつもりで、一つの三角形の図式）

と言う普通の定義ですね。
0622１３２人目の素数さん
垢版 |
2019/10/18(金) 15:11:18.76ID:48cliLMb
うーん、その定義だとダメだな
Hom(Y,-)はY⊗-のright adjointであって直積のではないからなぁ
0623１３２人目の素数さん
垢版 |
2019/10/18(金) 15:23:35.11ID:OmEECipg
線形空間の圏の場合、カリー化したときにXとYは別々に線形でないといけないので
直積じゃなくテンソル積が必要だと言うことですよね。
マックレーンはなんのつもりだったのかな？
0624１３２人目の素数さん
垢版 |
2019/10/18(金) 16:36:38.84ID:ospgeXvi
まぁどんな優秀な人でも筆が滑ることはあるよ。
論文みたいに査読が入ってるわけでもないからじゃぁないしね。
でもいい本ほどその手のミスがあるもの。
オレのお気にのLangの本とかかなりあてにならん。
でも教科書としては優秀なんだよなぁ。
0625１３２人目の素数さん
垢版 |
2019/10/31(木) 22:02:31.89ID:acjp4jQy
Mac Laneは圏というものが無かった時代に
定義から考え出した当の創始者だから、
半世紀後の我々が当然だと思ってる
何かしらの同一視か何かをを当然視してなくて
その結果彼の中では筋が通っている、
みたいな事もあり得るけどね。

時代が離れれば離れるほどこういう事は起きやすくなる
0626１３２人目の素数さん
垢版 |
2019/12/13(金) 01:21:59.19ID:1J4RnIHz
随伴わかんねー
これ要は相互に表現可能性持っているってこと？
ストーン双対性からやった方が早い？
0627１３２人目の素数さん
垢版 |
2019/12/13(金) 13:24:32.53ID:VBZ/q9HN
>>592
彼はちょっと大言壮語なとこある
0628１３２人目の素数さん
垢版 |
2019/12/16(月) 21:51:36.70ID:NH1p+STB
日本の怪しげなやつが書いた圏論のホンはしんようするな
金と時間の無駄遣いだよ
0630１３２人目の素数さん
垢版 |
2019/12/17(火) 00:21:56.21ID:cAUepqLV
和気藹々とカテゴリ論できるもんかと思ってた。
ようやく時間の無駄だったと気づけた。
0632１３２人目の素数さん
垢版 |
2020/06/19(金) 10:49:57.98ID:AqAGwgi/
現代思想2020年7月号　特集＝圏論の世界

“矢印”が描きだす、豊穣なる現代数学の最前線
現代数学における最重要分野の一つともいえる圏論。その高度な抽象性と一般性は、物理学や計算機科学、生物学、言語学、美学などあらゆる領域で豊かな威力を発揮しつつある。本特集では圏論の基本からさまざまな応用の実際、さらには哲学的な射程についても紹介・検討することで、今ひときわ注目をあつめる数学的思考法の真髄に迫りたい。

【目次】

特集＊圏論の世界――現代数学の最前線

【Discussion】
圏論がひらく豊穣なる思考のインタラクション ／ 加藤文元＋西郷甲矢人

【Keynote/Introduction】
圏論の哲学――圏論的構造主義から圏論的統一科学まで ／ 丸山善宏
圏はどういうものであったか ／ 小原まり子

【Mathematics/Logic】
圏論とトポロジー ／ 玉木大
数論幾何と圏論 ／ 伊藤哲史
圏論的論理学への道案内――論理学と数学をつなぐトポス ／ 荒武永史
圏論と集合論 ／ 渕野昌
0633１３２人目の素数さん
垢版 |
2020/06/19(金) 10:50:34.23ID:AqAGwgi/
【Computing/Language】
コンピュータ科学と圏論についての回想と考察 ／ 三好博之
代数的言語理論の圏論的公理化とガロア理論との統一 ／ 浦本武雄
ソフトウェアの数理モデルと圏論 ／ 檜山正幸

【Sciences/Art】
科学の書き言葉としての圏論 ／ 谷村省吾
普遍性とそのゆらぎ――ネットワークの圏論的諸展開 ／ 春名太一
圏論の展開?脱圏論への転回 ／ 郡司ペギオ幸夫
圏の図式からみた芸術の理論――穴・コホモロジー・アブダクション ／ 久保田晃弘

【Philosophy】
圏論による現象学の深化――射の一元論・モナドロジー・自己 ／ 田口茂＋西郷甲矢人
数学の構造概念はフランスの構造主義にいかなる理解をもたらすか――ブルバキ、カヴァイエス、ロトマン、そして圏論を手引きにして ／ 中村大介
アラン・バディウの哲学と数学の関係についての批判的考察――「概念の哲学」のポスト・カヴァイエス的展開の諸相という観点から ／ 近藤和敬
0634１３２人目の素数さん
垢版 |
2020/07/21(火) 09:10:16.13ID:1hXQ0lfh
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
犯罪者　檜山正幸が隠蔽工作を行うスレはこちらです。

一応、H山は軽犯罪者なので周知。
0635１３２人目の素数さん
垢版 |
2020/09/11(金) 14:27:25.65ID:a7cligOI
圏論って役に立つの
0636盗聴盗撮犯罪者・色川高志が嫌がらせをしつこく継続
垢版 |
2021/03/17(水) 14:53:35.45ID:KkUI8XzM
色川高志（葛飾区青戸６－２３－２１ハイツニュー青戸１０３）
●色川高志「高添沼田の息子の金属バット集団殴打撲殺を熱望します」
龍神連合五代目総長・高添沼田の息子（葛飾区青戸６－２６－６）の挑発
●高添沼田の息子「糞関東連合文句があったらいつでも俺様を金属バットで殴り殺しに来やがれっ!! 糞関東連合の見立・石元・伊藤リオンの糞野郎どもは
龍神連合五代目総長の俺様がぶちのめしてやるぜっ!! 賞金をやるからいつでもかかって来いっ!!　糞バエ関東連合どもっ!! 待ってるぜっ!!」(挑戦状)

492盗聴盗撮犯罪者色川高志（青戸６－２３－２１ハイツニュー青戸１０３2021/02/03(水) 13:53:22.55ID:QtP78E4Z
●青戸六丁目被害者住民一同「盗聴盗撮犯罪者の高添沼田ハゲエロ老義父の逮捕を要請します」
長木親父＆長木よしあき（盗聴盗撮犯罪者の高添沼田ハゲエロ老義父を逮捕に追い込む会＆被害者の会会長）住所＝東京都葛飾区青戸6－23－20
●盗聴盗撮つきまとい嫌がらせ犯罪者／アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父
高添沼田ハゲエロ老義父の住所＝東京都葛飾区青戸6－26－６
【通報先】亀有警察署＝東京都葛飾区新宿4ー22ー19　℡０３ー３６０７ー０１１０

盗聴盗撮つきまとい嫌がらせ犯罪者／アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父の盗聴盗撮つきまとい嫌がらせ犯罪者／愛人変態メス豚家畜清水婆婆（青戸6－23－19）の
五十路後半強制脱糞
http://img.erogazou-pinkline.com/img/2169/scatology_anal_injection-2169-027.jpg
アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父によりバスタブで清水婆婆の巨尻の肛門にシャワーのキャップをはずしてずっぽり挿入。
0637１３２人目の素数さん
垢版 |
2021/03/17(水) 15:26:04.19ID:wLlxJKJB
檜山正幸の経歴がちっともわからんのだが何者？
0638１３２人目の素数さん
垢版 |
2021/03/17(水) 15:32:32.01ID:c7F327lK
>>637
犯罪者
0640１３２人目の素数さん
垢版 |
2021/03/17(水) 15:35:33.03ID:wLlxJKJB
若いころ外国に行ってた、とかいう話を聞いたら注意が必要
実は「塀の中」だったりすることが多々ある　いいんだけどさ
0641１３２人目の素数さん
垢版 |
2021/03/17(水) 15:39:12.49ID:wLlxJKJB
吉田類がフランスに行った番組を見たけど
どうみてもフランス語話せそうもない感じだった
ま、どうせ居酒屋で酒飲むだけの番組に出てる人なんで
本当に絵描きかどうかなんてどうでもいいんだけどさ
0642１３２人目の素数さん
垢版 |
2021/03/17(水) 15:46:06.02ID:wLlxJKJB
https://www.ipsj.or.jp/01kyotsu/award/gyoseki_sho/h17_detail.html
檜山　正幸　君

1955年生.20代後半までは計算機/情報産業とは全く関係なくすごすが,
テクニカル・ライティングとプログラミングの生活に.
90年代初頭に,YHP社/ノベル社（当時名称）などの
SGMLベース出版システムのローカライズ/運用/利用支援などに従事.
XMLに期待を持ち,JIS-INSTAC XMLサブWGに参加.
その後,W3C SYMM WGにも参加.
いくつかのソフトウェアベンダー/公的機関にて
XMLシステム/アプリケーションの設計を担当.
檜山正幸事務所 代表

ーーー
多分、大学出てないな

ま、そういうことは実はどうでもいいのよ
大学出てるかどうかなんて、プログラミングに関係ないから

T大のH谷センセイもbitで書いちゃってたけど
ホーア論理を知らないとプログラム書けないか
っていわれたら全然そんなことないんで
要するに「教養」だと

なんかこう書くと「教養」って大学卒の空疎なイキガリみたい聞こえるけど
本当はそういう主旨ではなくて、プログラムと論理の深いつながりが分かると
バグのないプログラムの実現に大いに寄与する筈ということなんだけどね

ま、それはともかく、プログラミングだけなら別に数学も論理も必要ない
言葉が話せる人なら、プログラムも書ける筈である・・・たぶんｗ
0643１３２人目の素数さん
垢版 |
2021/03/17(水) 16:32:35.87ID:wLlxJKJB
個人的には圏論について語るより巨大数について語る方が楽しい

「巨大数」といってるが実際には「数」ではなく急増加関数である

しかし、これを超限順序数に対応づけられるので、
まあ、そこまでいえば「数」であるが

圏論がよくある抽象化一般化の例だとすれば
巨大数論はヲタク的な特殊論の深掘りといっていい

しかし素人が数学についてそういう興味を持つのはいいことだと思う
ついでにいうと数セミで小林銅蟲氏のマンガが読めるのもよかった
0644１３２人目の素数さん
垢版 |
2021/03/18(木) 18:33:20.38ID:kUt1oVKx
リーマン面って、微分幾何学となんか関係あるの？
0646１３２人目の素数さん
垢版 |
2021/03/20(土) 12:47:02.52ID:F3vkDGZ1
リーマン面は代数幾何学に関係があるんだよ
0648１３２人目の素数さん
垢版 |
2021/03/20(土) 15:23:46.29ID:1bjliKUX
スキームって、なんですか？
0649１３２人目の素数さん
垢版 |
2021/03/20(土) 15:54:38.39ID:zsBvWANE
どれ、代わりにググってやろう
素イデアルの集合の空間を張り合わせたものだってさ
0650１３２人目の素数さん
垢版 |
2021/03/20(土) 20:01:07.75ID:BHiyToND
代数幾何学と可換環論って、なんか関係あるの？
0651１３２人目の素数さん
垢版 |
2021/03/20(土) 22:12:47.69ID:KbOXLZt8
>>650
スキームにより不可分
0652１３２人目の素数さん
垢版 |
2021/03/20(土) 23:54:58.48ID:23K4ol27
もうちょい詳しく頼みます
0654１３２人目の素数さん
垢版 |
2021/03/21(日) 06:04:34.24ID:v/OpF6dQ
セールって、天才ですか？
0655１３２人目の素数さん
垢版 |
2021/03/21(日) 14:12:34.62ID:m0ePHYEi
非可換幾何学って、なんですか？
0656１３２人目の素数さん
垢版 |
2021/03/21(日) 15:55:13.87ID:exZgPLaj
空間で定義された関数環は可換環
それが非可換環になるような空間は存在しないが
非可換環は存在するから代わりに研究する
0657１３２人目の素数さん
垢版 |
2021/03/21(日) 17:21:58.68ID:GJQ6Jb7w
コンヌは天才なの？
数オリメダリストじゃないが
数オリメダリストも天才だよね？
0658◆QZaw55cn4c
垢版 |
2021/03/21(日) 18:02:06.75ID:Ml9BqKrr
>>657
所詮作られた問題に対して解答を付けるというだけでは価値は低い
価値が本当に高いのは自分で問題を提示し、それに自分で解答をつけること

数オリメダリストがどういう人種か会ったことはないが、自分で問題を作っていないのなら評価はそんなに高くないと私は予想する
それとも最近の数オリというのは、自分で問題を作るという作問があるのか？
0659１３２人目の素数さん
垢版 |
2021/03/21(日) 19:19:02.68ID:0f5saWU5
>>658
あなたの数学的力量がわからないとあなたの判定基準が妥当なものかどうかわからない。
数学にロマンを求める素人の妄想だと思われるのがオチ。
0661１３２人目の素数さん
垢版 |
2021/03/22(月) 13:18:40.77ID:hmEMYeYh
スキームって、なんで層の概念が重要なの？
0663１３２人目の素数さん
垢版 |
2021/03/22(月) 16:14:06.86ID:sTPw3awe
層って、前層なの？
0665１３２人目の素数さん
垢版 |
2021/03/23(火) 07:14:06.44ID:XaZrvPCs
前層が最強なの？
0666１３２人目の素数さん
垢版 |
2021/03/23(火) 13:02:18.69ID:6eFp8KNu
前層と言う訳語がマヌケだったな。
素層と書いて「そうのもと」とすべきだった。
まあ、そそうでもよいのだが。
0668１３２人目の素数さん
垢版 |
2021/03/23(火) 15:56:00.51ID:ZsEPVBnx
悪魔の数字よ？
なんだ、それはよ！？
0669１３２人目の素数さん
垢版 |
2021/03/23(火) 20:55:24.93ID:6eFp8KNu
範疇と云う俊逸な訳語があったのになぁ。
宇宙に至っては、思考停止じゃないかね。
0670１３２人目の素数さん
垢版 |
2021/03/24(水) 17:47:05.89ID:Axm5Vx4O
代数幾何学は、宇宙人が創始したの？
人間には不可能だよね？
0672１３２人目の素数さん
垢版 |
2021/03/25(木) 13:08:31.61ID:C+fvPQDo
代数幾何学は人間のグロタンディークが創始したんだよ
0673１３２人目の素数さん
垢版 |
2021/03/25(木) 16:39:00.77ID:3o2D396p
創始者はWeil
0674１３２人目の素数さん
垢版 |
2021/03/25(木) 19:30:08.82ID:SjWO4u2k
universe こそ「圏」と訳すべきだったな．
0676１３２人目の素数さん
垢版 |
2021/03/25(木) 21:02:25.35ID:SjWO4u2k
そりゃ，素数を割算不可自然数と呼ぶ様な話ですね．
0677１３２人目の素数さん
垢版 |
2021/03/26(金) 09:36:28.97ID:jxg8wKB8
おまえら数オリは解けるのかい？
0680１３２人目の素数さん
垢版 |
2021/03/26(金) 13:53:33.53ID:0zfJOSQe
数オリと代数幾何学って、どっちの方が難しいの？
0682１３２人目の素数さん
垢版 |
2021/03/26(金) 22:09:11.44ID:soVHaD9H
いいから答えて！
0683１３２人目の素数さん
垢版 |
2021/03/26(金) 22:12:42.30ID:3aU7BvMi
>>680
おまえみたいなカスが体裁保ちながら実社会で居直り続ける重罪さ加減に自覚を覚えるのがいちばん困難。
0684１３２人目の素数さん
垢版 |
2021/03/27(土) 06:06:53.17ID:GaUSiXyd
日本語で頼むわ
0685１３２人目の素数さん
垢版 |
2021/03/27(土) 17:31:22.70ID:9OawyHKs
おまえがカスだろが！
ボケ！！
0689１３２人目の素数さん
垢版 |
2022/03/08(火) 11:54:07.46ID:Q7tNvTZ+
圏論って何で必要なのですか？
集合論で十分ではないですか？

圏論の冒頭自体が集合論の言葉で記述され、
関手や自然変換などのような基礎概念も要するに準同型概念にすぎないし。
0691１３２人目の素数さん
垢版 |
2022/03/08(火) 17:11:13.45ID:JGNVKvhn
色んな圏に対して共通の枠組みが提供されてるというのがデカいのかな？
この圏にはpullbackはあるのか？とか極限が常に存在するからこういう性質も当然持ってるよなとか
0693１３２人目の素数さん
垢版 |
2022/03/08(火) 22:28:41.55ID:8zbmcqji
>>692
それは知らなかった。
大学院向けの授業をするときの参考にさせていただく。
0695１３２人目の素数さん
垢版 |
2022/03/09(水) 07:56:39.54ID:QjlXOdGl
>>690
それは、圏論はオブジェクト指向みたいに、めんどくさいだけで
よく分からない代物だという意味？ｗ
0696１３２人目の素数さん
垢版 |
2022/03/09(水) 08:13:17.76ID:D6bEXCac
圏論ではオブジェクトは無用です
モルフィズムがあれば良い

以上冗句です
0698１３２人目の素数さん
垢版 |
2022/03/14(月) 22:53:23.19ID:X0ib+x0L
論理演算の⋀と⋁は随伴ですか？
0699１３２人目の素数さん
垢版 |
2022/05/19(木) 15:31:50.49ID:G3hc87dv
>>698
∧と→が随伴です
0700１３２人目の素数さん
垢版 |
2022/06/07(火) 04:58:52.08ID:khCjnhUD
図式スキームというのは（多重）有向スキームのことであってこれは前圏と同じ意味でいいわけで、それは圏論の基礎にも書いてあるわけですからそこについてとやかくいわれるいわれはなく、
いったい何を問題にしているのかどういうスキームかどうかときかれても図式スキームとどういうスキームであるかどうかという意味が違うと言われてもこの文脈では違うという話はリンク先ではよくわかってないわけで、つまり圏とは前圏を拡張したもので前圏と圏とは密接な関係であるわけでグラフ理論と圏論という関係についてオイスティン＝オアとマックレーンの関係がどのうこうのということは、一部しかわかっておらず、
いうなれば随伴してれば忘却関手なりで構造を忘れてグラフの世界に言って解いてから戻ってくればいい話であって,つまりマックレーンの圏論の基礎の不自然なところは随伴に関する記述であって、
でもだからといってそれは大まかなスキームについて書かれた文献は見つけられても具体的にどうすればいいかということについてかかれた本にリーチしているわけではないわけで,つまり構造化プログラングと関数型あプログラミング、
圏論についての合流点という最も大事で私も非常にあ関心を抱いているということが一目瞭然なことに触れれば、O'CAMLのCAMLというのはCategorical Abstract Machin Languageという言葉の略であり圏論的抽象に関する機会言語という非常に関心を全く抱く話につながるわｋです。
0701１３２人目の素数さん
垢版 |
2022/06/13(月) 04:53:37.06ID:yMxBkHa7
随伴関手：『具体的な数学において、解けない問題があり、これを圏として定義した後、随伴関係を用いて別な圏で問題を考え、そこで解いた後、元の圏に戻るという使い方は、有効な使い方であろう。』圏論の展開～脱圏論への転回（郡司ペギオ幸夫）とあり、解けない問題もいったん忘却関手でグラフの問題にして解いてからもとにもどすという手法を記載することは意味があるというかここが圏論の一番重要な点なのでそこを記載。
0702１３２人目の素数さん
垢版 |
2022/06/13(月) 08:09:06.33ID:UeeXzCMK
数学の概念は難しい問題を別の形に置き換えるために生まれるもので、圏論も例外ではない、という話だね。
0708１３２人目の素数さん
垢版 |
2023/02/06(月) 22:29:16.48ID:o1yi9hML
>>700
圏論とプログラミングは関係ないだろ。オブジェクト指向が圏論で説明されるとか
どこかで読んだがそんな嘘っぱちあるわけないだろ。
0710１３２人目の素数さん
垢版 |
2023/05/30(火) 18:04:55.07ID:7cAcA08t
圏論は圏論、数学ではない。
集合論が数学でないのと同じ。
言葉として利用してるだけの話。
0711１３２人目の素数さん
垢版 |
2023/05/30(火) 20:01:18.42ID:Dxdyzb/9
俺が数学の枠組みを決められる謎の自信はどこから生まれるんだろう
0712１３２人目の素数さん
垢版 |
2023/06/01(木) 17:27:33.29ID:hcNOIdcz
経験や能力に他ならない
0713１３２人目の素数さん
垢版 |
2023/06/01(木) 21:43:26.10ID:WhR1RZll
ワロタw
0714１３２人目の素数さん
垢版 |
2023/06/04(日) 04:13:09.99ID:H2WAmpaD
このアンビエントなジャズ、少しアバンギャルドで良くないですか？
//youtu.be/f0og1UrDFy0
0716１３２人目の素数さん
垢版 |
2023/07/09(日) 14:28:24.43ID:DzaaOvi9
言葉として圏論を学ぶ意義は全く否定しない

ただ言葉としての圏論を学べば
圏論で語られる数学のすべてが分かる
というのは幻想である

言葉としての論理を学べば
論理で語られる数学のすべてが分かるか？
そんなことはないでしょう

言葉を学べば
言葉で語れる物事のすべてが分かるか？
そんなことはない　それと同じ

このことを承知した上で
言葉として圏論を学んでいただきたい
0718１３２人目の素数さん
垢版 |
2023/07/09(日) 15:06:29.17ID:DzaaOvi9
>>717
もちろん、言葉なしの数学はありえませんし
言葉として圏論を学ぶ意味もまったく否定しませんよ

わたしがいっているのは
英語を学べば英語で書かれたことのすべてが
英文法と英語の辞典からわかる
というのは馬鹿げた考えだというものです

もちろん、そんな愚か者はいないよ、
と皆さん言われると思いますが
ここは・・・５ｃｈですからね
0719１３２人目の素数さん
垢版 |
2023/07/09(日) 15:32:42.69ID:tIkTXSH6
>>718
そもそも君は数学全体を語る前に、その圏論のことちゃんと分かってんの？∞圏とかさ
今は数論幾何とかでも必須になりつつあるけど
0720１３２人目の素数さん
垢版 |
2023/07/10(月) 03:29:26.55ID:1m6jdjQ0
>>716
正統サンスクリッドから正格ラテン語まで
印欧語圏
は実際問題として正しい文法規則にさえ辿り着ければ言葉で騙れる物事の全てがわかる！という確信めいたものを持つ傾向が強くあると思う。

日本人は悪い意味で自然言語が女の使うラブレター用みたいな女々しくも非論理性の塊みたいな情念が強い。
0722１３２人目の素数さん
垢版 |
2023/11/19(日) 06:59:37.93ID:1bf6PfHC
「集合と位相」が「圏論」に統一される日は近いか
0724１３２人目の素数さん
垢版 |
2023/11/19(日) 08:52:45.54ID:1bf6PfHC
triangulated categoryが
学部の必須科目になる日が来るかもしれない
0726１３２人目の素数さん
垢版 |
2023/11/19(日) 14:44:22.63ID:4F6BNddK
>>724
ないない
何妄想よ
0727１３２人目の素数さん
垢版 |
2023/11/19(日) 19:54:03.10ID:lDLa/ZyX
50年前
スキームはいずれ高校の教科書に載るだろうと言われていた。
たしかにまだだが
学部の授業では教えられるようになったそうだ。
0728１３２人目の素数さん
垢版 |
2023/11/19(日) 20:35:13.79ID:S7/EQSok
>>727
なってないなってない
学部レベルならそれより教えるべきことは別にある
紹介ぐらいならするかも知らんが
0729１３２人目の素数さん
垢版 |
2023/11/19(日) 20:41:38.07ID:S7/EQSok
>>703
射の射の射の射の・・・・・・と無限にあるやつ
0731１３２人目の素数さん
垢版 |
2023/11/19(日) 21:06:59.67ID:MwkSc5x7
>>724
東京大学工学教程の「微分幾何学とトポロジー」にはウィッテン流のモース理論の“証明”が載ってる。
弱い意味でのK群でもあり導来圏でもある指数定理の指数ぐらいなら学部でインスタントんにやっちゃってるのに近い。
0733１３２人目の素数さん
垢版 |
2023/11/19(日) 21:17:19.36ID:lDLa/ZyX
ミルナー本は何用？
0735１３２人目の素数さん
垢版 |
2023/11/20(月) 01:08:51.91ID:NoovPcls
>>734
スキームは使わんが計算にグレブナー基底は使うんで載せる
楕円暗号もネット認証という或る種の“証明”に使うんで載せる
0738１３２人目の素数さん
垢版 |
2023/11/20(月) 14:07:46.50ID:NoovPcls
>>736
本来なら形式的アルゴリズム的にプログラム安全性を保障したいところだが
それは無理なので
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況