圏論、カテゴリー論 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
需要あるかと思って建ててみたものの想像以上にレスがつかない・・・ 圏論の技法って読んだ人いる?
もしよかったら感想を教えてほしい 圏論の用語ってすごくね?
「忘却函手」「極限を創出」「左随伴、右随伴」「超教義」
中二病の時に勉強すれば効率がよさそう 理科大の二部生でも圏論やる人いるんだな。驚きだ
もっと賢い人がやるもんだと思ってた 米田のレンマあたりで、HomeC(X,-)に射を代入するとかあるでしょ。
でも、HomeC(X,-)に入るのは、対象だから、どういう理屈で、射が入るのか分からないです。
誰か教えて。 ¥
>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
> ¥
>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
> ¥
>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
> ¥
>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
> ¥
>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
> ¥
>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
> ¥
>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
> ¥
>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
> ¥
>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
> ¥
>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
> ¥
>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
> 『圏論による論理学―高階論理とトポス』読んでる人おる?
射T:1→Ωを用いたサブオブジェクト・クラシファイアーによって
monoである射 0_1:0→1 のcharacter(特性関数の一般化概念)として偽の矢⊥T:1→Ωを定義しているけれど
これだけだとT=⊥でもT≠⊥でも矛盾は生じないよね? ¥
>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
> >>17
字面を見た時に「Hom_C(X,-)の"-"の部分に入るのは対象だけでしょ?Hom_C(X,A)はわかるけどHom_C(X,f)ってなんじゃそら?」ってことだと思うけれど
Hom_C(X,-)は関手なので"-"に圏Cの射fを入れることが出来る(入れても関手としておかしくならないように射関数を定義する)
Hom_C(X,-)の射関数は圏Cの射(例えばf:A→B)を圏Setsの射(つまりHom(X,A)からHom(X,B)への射)に写す関数で
h∈Hom(X,A)を取った時
Hom_C(X,f)(h)≡f.h と定めれば関手として自然な感じになる(簡明にhaskell風に書けば Hom_C(X,f) = (f.)だろうか)
図を書いてみればこれしかないって気がすると思う <<42
ありがとう
途中で定義のようなものかと思って、でもなにか矛盾がでるなと思ったんですが、Cの射の集合にCの射を結合すればよいので矛盾ないんですね。どういう誤解だったんだろう? 射f:X→0が存在すればXも始対象なんだろうか
|Hom(X,0)|≠0とすると任意にとった対象Aで
Hom(X,0) 〜 Hom(X,A×0) 〜 Hom(X,A)×Hom(X,0) からの
|Hom(X,0)| = |Hom(X,A)||Hom(X,0)| によって
|Hom(X,A)|=1
であってる? >>54
群の圏やベクトル空間の圏では成り立たない(から証明は間違ってる)
XからXへの射が恒等射しかないという条件を追加すれば成り立つ X→Xの射が恒等射だけだとすると f:X→0, g:0→X として
f.g=id, g.f=id となってXは始対象ってことかなるほど
証明が違ってるのは多分 Hom(X,0) 〜 Hom(X,A×0) の根拠となる0〜A×0のところか
任意の対象Bに対してベキ対象B^Aが存在するという条件を加えれば
随伴性から Hom(0×A,B) 〜 Hom(0,B^A) で両辺の集合の要素の数は1なので0×Aは始対象になると >>30
0→1
↓ ↓T
1→Ω
⊥
がpullbackだから、T=⊥の場合1から0への射が存在して、0〜1。
トポスはCCCなので、0〜1だと
Hom(X,Y)〜Hom(1,Y^X)〜Hom(0,Y^X)
となって、すべての射集合の要素が1個であることから、
この圏は対象、射ともに1個だけの圏に同値。
よって普通のトポスではT≠⊥。 >>59
ありがとう
対象と射が一つだけという状況は矛盾からなんでも導けてしまう論理のモデルに等しいのかな
まだまだ勉強途上だけど
こうやってトポスを分類ないし拡張していけば三値論理とか直観論理とか果ては様相論理のモデルも作れるのかなと妄想したりしてます 質問
射の合成がhだとしてIm(h)=0
って射の条件ですか? 質問の意味がわからんが
h=gf:A→B→Cとして、Im(h)=0という条件からf,gに関する情報が得られるかってこと?
Im(h)と0は射?対象? マ イ ン ド コ ン ト ロ ー ル の手法
・沢山の人が、偏った意見を一貫して支持する
偏った意見でも、集団の中でその意見が信じられていれば、自分の考え方は間違っているのか、等と思わせる手法
・不利な質問をさせなくしたり、不利な質問には答えない、スルーする
誰にも質問や反論をさせないことにより、誰もが皆、疑いなど無いんだと信じ込ませる手法
偏った思想や考え方に染まっていたり、常識が通じない人間は、頭が悪いフリをしているカルト工作員の可能性が高い
靖 国 参 拝、皇 族、国 旗 国 歌、神 社 神 道を嫌う カ ル ト
10人に一人は カ ル ト か 外 国 人
「ガ ス ラ イ テ ィ ン グ」 で 検 索 を ! >>63
レスありがとう。
コホモロジーの話です。
対象XYZ
射f X→Y
射g Y→Z
コホモロジーKer g/Im f
で、Im(g●f)=0という流れがあると思うのですが、
最後の式は、射の条件というわけではないのですか。
という質問です。
0はゼロ。空です。 iii)対象の対(X,Y), (X,Y)が異なれば,Hom(X,Y)とHom(X,Y)とは互いに素である。
これかな。 記号が消えてる
iii)対象の対(X0,Y0), (X1,Y1)が異なれば,Hom(X0,Y0)とHom(X1,Y1)とは互いに素である。
これかなだ。 >>75
恐らく加群の複体での話なんだろうが、ここは圏論スレでかつ>>75自身が圏の言葉しか使ってないので、コホモロジー以前の話として
・まずその圏にKerは存在するのか?
・「0はゼロ」じゃなくて、始対象か零対象か、もしくは対象ではなく零射なのか?で、それはその圏に存在するのか?
・「空です」←意味不明、空とは何か?まさか空集合? >>79
レスありがとう。
言われてようやく理解が少し進みます。
アーベル圏を基礎とした話のようでした。
空とかすみません。0だと記号と間違われると思って、零といえばよかったです。 圏論初心者ですが、
関手と関数という同じようなものがなぜ2つ必要なのですか?
関手と関数はどういう関係なのですか? >>125
いえ、だから、圏論や関手はなぜ必要なのか?
が分からないのです。
圏論も関手も関数で表現できると思いますから 例えば sheaf morphism も関数で表現できるの? 扱う対象の違いじゃないか
集合といえば写像みたいな >>126
そこでしたか
関数を一般化したものが射ですね
関数では表現できないけど関数のようなものの議論がしたいから圏論が必要なんですよ >>129
関数で表現できないものはないと思いますが?
それから、関数と同じようなものだと言ったのは関手です。射ではありません。
射は一般化され過ぎていて関数とはあまり似ていませんね 関数で表現できないものがないのであれば射を関数で表現できるのではないでしょうか 理論を知りたい場合は写像
具体的な構成を知りたければ関数
なんとなく、そう思う 理論と具体的な構成とをより高い視点で見た時に=で結べなければ現実的に(計算機的に)問題がありませんか? >>130
>関数で表現できないものはないと思いますが?
では、集合の圏の恒等関手を関数で表現してみてください。 >>130
>射は一般化され過ぎていて関数とはあまり似ていませんね
関手のどういうところが関数と似てると思ったの? >>131
>>136
言うまでもないのでしょうが、
射は、(域と余域が指定されただけの)関数そのものであり、
関手は、圏から圏への(ある性質を満たす)写像として定義されています。 >>137
関数では表現できない圏があることはFreydによって示された。
病的なものではなくトポロジーで自然に出てくるもの。 >>138
> 関数では表現できない圏があることはFreydによって示された。
そんなことはあるはずがないと思うのですが、
それは例えばどこで読めますか? 関数をプログラムの関数みたいに広義にとらえて、
F(X)->FXと表現できるものと定義すれば、
確かに関手Fには、関数で表せられない定義とか無いのではないかと思ってきた。
射なら違いを言えそうだけど。 関手は、関数より条件が厳しいから、
「圏CとC°との間に関手が存在する」というのを、
「圏CとC°との間に関数が存在する」と言い換えられないというのはあるな。 射を関数と捉えるのは違うけれど
圏の構造の根っこであるdomとcodと合成演算は結局は関数なんじゃなかろうか
関手もhaskellで言うfmapで完全に定まるし自然変換も対象から射への関数だし 射の具体例の一つが関数だからそうなるんであって話が逆ですよ >>124 から >>147 の中で米田のレンマが分かってるやつはいる? 多価関数とか確率的に取る値が変化するような関数でも合成できて恒等射が存在するのだから射になれるよね
逆にそのような具体例と同値な射のもつべき必要十分条件を圏論の言葉で記述できないだろうか テンソルのスレでは誰も答えてくれなかったんですが、圏論的には
テンソル積の存在の証明で、なにかエレガントなものってないのでしょうか。
やっぱり、V×Wの全ての元から自由なR加群を作って商群を作るやつが
(これは圏論とは関係なさそうですが)一番ましな証明なんでしょうか。 テンソル積が存在するのは証明が不要なほどトリビアル。 よくみたら、テンソル積の存在なんて、単なる商群の普遍性そのもの
でした。おさわがせしました。
なんか、解決のための情報は全て頭の中にあるのに気が付かないって、
悲しいですね。
こんなの、これで何回目かなあ。>>152さん、こんなくだらない質問に
レスしてくださってありがとうございました。 確率変数を対象
条件付き確率分布 f(x|y)とg(y|z)を射とみなして
その合成をΣ[y] f(x|y)g(y|z) と定義すれば圏が作れるけど
そういう形で確率論をより抽象的に捉え直した文献とかある? 集合論におけるベルンシュタインの定理
「二つの集合に互いへの単射が存在すれば全単射が存在する」
に相当する
「二つの対象に互いにsprit monicな射が存在すればisomorophic」
圏の公理だけからは導けず良い?圏でないと成り立たないと思うのですが
成り立つ圏の特徴づけについて知りたいです
必要十分条件かあるいはメジャーな十分条件とか
あてずっぽうで完備圏ぐらいあれば十分な気もするんですがどんなもんでしょう? >>155
位数2の自由群と位数3の自由群はお互いへの単射準同型が存在するけど、同型ではないな。 定理の主張そのものではなく証明の方針がね
split monicな射の行き先の対象が元の対象と「補対象」の直和に同型
というのと極限の存在ぐらいがいえればそのままもってこれそうな気がしてね 圏論の技法は、ただの代数幾何を圏論で書き直しただけの本で、
圏論の本質的なところが全く載っていない。
代数幾何と圏論をただ対応させただけで、圏論の事が学べるわけでは決してない。
代数幾何を理解している人にとって、立ち読みできる程度の内容だろうし、
圏論を理解している人にとっては、定義を補足しながら読んでいくことはできるが、
どちらも知らない人にとっては、定義が不十分かつ、
たまに例がミスってるので、読まないほうがいい。
数学科の学生なら、categories and sheaves を読むべき。
万が一、これを読めない能力あるいは根性あるいは環境下なら、
数学科やめたほうが国のために成るし、自分のためになると思う。 圏論の技法は、
小説として読む。(圏論の人)
圏論速見表。(代数幾何の人)
ポンコツ。(それ以外の人) 馬鹿板遊びはもうヤメレ。頭の悪い奴が跋扈したらアカンやろ。東京都庁
みたいにナルぞ。
¥ 馬鹿板遊びはもうヤメレ。頭の悪い奴が跋扈したらアカンやろ。東京都庁
みたいにナルぞ。
¥ 馬鹿板遊びはもうヤメレ。頭の悪い奴が跋扈したらアカンやろ。東京都庁
みたいにナルぞ。
¥ 馬鹿板遊びはもうヤメレ。頭の悪い奴が跋扈したらアカンやろ。東京都庁
みたいにナルぞ。
¥ 馬鹿板遊びはもうヤメレ。頭の悪い奴が跋扈したらアカンやろ。東京都庁
みたいにナルぞ。
¥ 馬鹿板遊びはもうヤメレ。頭の悪い奴が跋扈したらアカンやろ。東京都庁
みたいにナルぞ。
¥ >>161
ホモロジー代数って知ってる?バカなの? 馬鹿板遊びはもうヤメレ。頭の悪い奴が跋扈したらアカンやろ。東京都庁
みたいにナルぞ。
¥ >>217
ホモロジー代数を知らないからこの本を購入した。
鎖複体の定義を複体としてるこの本はまるであてにならない。
自分はこの著者ほど愚かではない。
複体の定義すらしていないこの本はあてにならない。
抽象化が苦手なオタク研究者しか日本にはいないのかな。
ノーベル章とった誰かが危惧するのももっとも。
「圏論の技法」は買ってはいけない系の本。
この本がいいと言っている人間は純粋数学の発展には寄与しない。
もっと俗なところで社畜として社会に貢献してくれ。 >>231
ふーん、ホモロジー代数って分野の名前を知れてよかったねw
「コホモロジーのこころ」なんてどうおもう?読んだことある? へー、それ面白そう。
ここんとこ仕方ないから、敬遠してたハーツホーン読もうかと思っている。 >>231
知ってる複体の定義は何?単体複体?ほうたい 右も左もわからない頃、幾何学でホモロジーが出てきたから
勉強しようとして「ホモロジー代数」という本を手に取ったところ
幾何的の話が全く書いてなくて困惑したのはいい思い出 >> 237
ncatlab complex に載ってる
ttps://ncatlab.org/nlab/show/complex
「翻訳」という自己関手 をまず定義する必要があるみたい >>240
いや「お前の知っている複体の定義は?」ということなんだが
まず〜を定義する必要があるみたい、ってなんだそりゃ
それ「複体」という言葉を知ってるだけで中身(=定義)は知りません、しかもその言葉もネットで見つけただけです、ってことじゃろ
よくそれで「この著者ほど愚かではない(キリッ」なんて言えるなwwwwwwww イヤイヤ、
英語読めよwwww
全部書いてあるやろ。
謙遜して言ったけど、
著者と同じレベルでやばいなおまえ 「単体複体という具体例知ってます」ってのは、圏論の勉強ではない いや別に俺は>>240に載ってる「複体」の定義が知りたいわけではない
ただ単に、
・ホモロジー代数は知らない
・鎖複体を「複体」の定義としている本を批判する
・「コホモロジーのこころ」は面白そう
と宣う人の知っている「複体」の定義が知りたいだけ、なのに「その前に〜というものを定義する必要があるみたい」なんて返ってきたらがっかりだわ ただ、圏論はなんでも抽象化すると思う。
古典コンピュータで扱ってる内容に置いては必ず。
だから、もっと貪欲に抽象化するべきと思う。 >>242
せめてお前が全部見てから言えよ……なんだ「「翻訳」という自己関手を定義する必要があるみたい」って
>>240見たらtranslationは単なる自己同値じゃねーか、んなもんこのレベルになって定義するものではないだろ
正直言って>>240の定義も知らなかったんだろ?で、結局どの「複体」の定義を知ってるの? イヤイヤ、そこ記述するやろ。圏論の数学書は。
wwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwww
おまえ、マジで著者かww しかも論点ずらしにかかってるあたり
おまえやばいwwww 圏論よりかはコホモロジーに変なロマンを抱いてほしい。 あー、それな。そこんとこ弱いかも。
algebra of geometry と
categories and sheaves とどっちか読もうと思っている
やっぱグロタン系読んだらなんかいい感じなんじゃないの?
そこんとこ教えて下さい。 >>249
「翻訳」という言葉からの圏論の世界での広がりが見えないのかな。
これがまさに抽象化でしょうwwwww >>250
自己関手=ある圏から自分自身への関手
同値=逆向きの関手が存在して2つの合成がそれぞれ恒等関手と自然同型
こんなものは圏と関手の定義のすぐ後ででてくるものであり、圏論を勉強している人が知らないはずはないでしょ
>>240の発言は池沼レベルですな
>>251
鎖複体の時点でアーベル圏(特に加群圏)上の(コ)ホモロジー論なんですよ
代数で大事なアーベル圏を捨てるのは愚の骨頂、無駄に抽象化すればいいというものではない >>250
単なる自己同値というけど、
自己同値について、どれほど理解しているんだ?
圏を三つくらい重ねたら、
「同じ」という言葉で片付けられないほど
結構複雑だと思うけど。 指数定理厨だけどツイスター理論から層や多変数複素解析へ行くルートも素敵だと思うの >>257
おまえ、マジでいつ俺が鎖複体を捨てたwwww
勝手に解釈するのやめろwww なので、まずは英語きちんと翻訳しなきゃいけないでしょ。 >>257
何言ってんのお前
すまんが集合論の同値関係からやり直して来てくれ イヤイヤ、圏同値だろうwwww
おまえ、圏論やり直してこい、
自然変換いっぱい出てくるやろがwwwww 自然変換じゃなくて自然同型か。
さらに自然変換にすれば、lax な同値とか考えれて世界広がるでしょwww >>265
いや同値関係からやってこい
圏同値も同値関係だから
あ、同値関係は集合上でしか定義されてないわけではないからね!真のクラスで定義されてるからね!そこ突っ込むなよ! ミンコフスキーへの道は険しいが、
その頂に立てば、
ツイスター理論面白そう
なんかイメージがわかないのでよかったらイメージでいいんで教えて下さい。 うーん、説明したいけどなんか説明できない
もどかしい さっさとこのループから抜け出して
微積分学やろうぜw トポロジーのあの異常な論理を制御できるのは圏論だけ
それだけで価値がある 非アーベル圏を非代数的確率圏と看做すことができるか
いいや非アーベル圏の作用がどんなものかを記述できるのか
またこんな話になってしまいそうで何だかな 馬鹿板遊びはもうヤメレ。頭の悪い奴が跋扈したらアカンやろ。東京都庁
みたいにナルぞ。
¥ ¥
>347 名前:132人目の素数さん :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>] 投稿日:あぼ〜ん
> 圏論の技法:
局所化の定義も一般性を欠いているけど、なんなんですか、これ。 昨日、警察に相談に行ってきた。
「荒らし行為について様子を見る」とのこと。 >>311
著者は「一般化すればするほど良い」と考えてはいないわけだな。
一つの見識だと思う。 頭悪そうなのが他のスレでいっぱい湧いているから、道標としてあげておこう ¥
>673 名前:132人目の素数さん :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
> ほんで宮廷以外の数学科かて全部閉鎖せんとアカンわ。馬鹿板人みたいな
> 低能ゾンビばっかし居っても税金の無駄にナルだけで役に立たへんしナ。
>
> ¥
> ¥
>269 名前:132人目の素数さん :2016/09/24(土) 11:16:21.64 ID:ERaem3b8
> 生活保護受給者の三割がメタボだそうだ
> マス哲もそうなのか?
>
>270 名前:¥ ◆2VB8wsVUoo :2016/09/24(土) 12:04:07.63 ID:gc7JIRwz
> 粗食してますんで、太ってはいますがまあ大丈夫そうですわ。今は精神科
> 系の強い薬物が一切必要が無いので、在任中よりも猛烈に健康になったと
> 思いますね。ストレスが何も無いっちゅうんはホンマに有り難いですわ。
>
> ¥
>
>271 名前:132人目の素数さん :2016/10/22(土) 11:25:03.06 ID:EFTkFzKF
> どぴゅ
>
>501 名前:132人目の素数さん :2016/06/11(土) 12:35:37.39 ID:Ise/AxZk
>
> 哲也はコンヌの黒歴史
>
>502 名前:132人目の素数さん :2016/10/22(土) 11:24:37.17 ID:EFTkFzKF
> どぴゅ
> 可換環の圏において、極限余極限はどこまで存在するのでしょうか?
始対象 : Z
終対象 : 0
ファイバー積 : 直積の部分で像が同じ者の集まり
有限余ファイバー積 : テンソル積
はあるはずなので、要は小さい極限と有限余極限はありますよね?
どの本でも直極限は当然のように使っていますが、具体的構成は出来ているのでしょうか? 加群の圏で直極限とって、それに積が定まって可換環になることを確かめればいい 三角圏で八面体公理満たすように設定したのまでは、理解したんだが、
これ具体的にどこで出てくるんだ。
量子力学あるいはもっと言えば、数論幾何とは思うが、
3次元世界でなんかいい具体例ないの? >>368
導来圏の方がむしろ実体なんじゃないか?とまで思えるようになるのが現代的らしいよ。
まあ幾何学的実現だけど。 なるほど、言われてみれば確かにそんな気がする、
導来圏って「場」を記述する何かなのかな。
三角圏は、格子場みたいな感じ?
「圏論の技法」って要は、
ホモロジーは4章いってね
量子場は6章いってね
って話で、それ以外中身ないし、読み物にしてくれた方がよっぽど分かりやすい。
ってか一体どこに「圏論の技法」があるんだこの本。 個人的には導来圏〜K群〜指数(指数定理の)〜整数で局所的に擬同型〜で割り切って考えて単純な例にしてる。 http://imgur.com/a/8guXm
公の図書館で、本借りようとしたら、
参考文献のところで広告が貼られていた。
一応通報しておいたけど、
檜山とかいう人のページは見たことあるけど、論理的にも世間的にも少し頭おかしいと思うので、圏論勉強する人は気をつけて下さい。 檜山wwwww
エセの極みだろwwwwwwwwwww >>387
出版屋から図書館宛の払込票がついてたから違うと思う。陰湿な犯罪 ちょっとぼけてるけど、図書館の人にはちゃんと借りる前に、破損記録しといてもらった。こういうの本当にやめてほしいです。 大阪じゃあ、しかたないな。
表紙以外を古紙商に売られてない時点で
御の字かと。 犯罪者 檜山正幸が隠蔽工作を行うスレはこちらです。 『忠告であるが、圏論は…、代数幾何、可換環論、多様体論などに応用して、はじめて真価を発揮する。
そういうバックグラウンドを持っていない段階で、先に圏論を勉強してしまうと…何も新しい結果を得られずに終わってしまう。』
数理科学 2017.3
これ檜山その他ぷよぐらみんぐ界隈の人種、死ぬんじゃねw 計算機科学にホモロジーコホモロジーなんてきっと出てこないよね
計算機科学で圏論がどんな使われ方するんだろ >>415
「など」に計算機科学等が含まれているかどうか不明だし これでも日本のプログラマの中では知性がマシな分類の連中なので容赦してほしい。
多少楕円暗号ぐらい齧ってる人間も混じってるかもしれないし。 >>415
多様体への応用ってあれかドラームの事か? >>421
容赦してほしいで済めば、警察いらねえだろ。 >>415
数理頭おかしくなったか?なんか矛盾してないかこれ
むしろ新しい結果なんて求めていない、
大多数の数学履修者には好都合だってことだろ?
研究するやつにも基礎は必要で、
研究したいやつは具体的な勉強始めるだろこれ。 圏論の定義って今では
「対象の集まりがあって、各対象A,BについてAからBへの射の集まりHom(A,B)があって云々」
ってなってるのが多いけど、このときに射のdomとcodomが一意に定まるってのがイマイチ腑に落ちなかったんだが
『ベーシック圏論』読んで納得したわ >>437
買ったけどまだ最初の方しか読んでない。
どの辺こそれに該当するの? >>438
直接の言及はP.14だけどより詳しいことは3.3節に書かれてる
「任意の2つの集合の共通部分に意味はあるか」って話だね >>437
f∈Hom(A,B) ならば dom(f)=A, codom(f)=B
それだけの事ではないの?
>>439
(A,B)≠(A',B') なら Hom(A,B)∩Hom(A',B')=φ
こういうのちゃんと明記されてないと不安でしょ とかそういう話? XORとかNANDがあればどんな論理回路も作れるって小学生の頃やったなあ
なつかしい。 ベーシック圏論立ち読みしてきたけど、これは良さそう。
極限全く理解してないやつが三角圏述べているような、にわか書籍ではなさそう。 酷いなその論。経営か経済がいいんじゃない。
数式使うなら。被害少ない。文学 哲学の次に。 ZFCにユニバースを追加して得られた圏論の結果を適用するということは、
ZFCそのものではなくZFCの一つのモデル上の議論を意味することになりませんか?
勝手にモデルを一つ固定しちゃっていいんでしょうか? これだと疑問を呈する部分が変ですね
訂正します
ZFCにユニバースを追加して得られた圏論の結果を適用するということは、
形式的に公理化された何らかの集合論ではなくZFCの一つのモデル上の議論を意味することになりませんか?
ユニバースで議論するときは形式化されるかどうかの問題は棚上げしているということでしょうか? 385 : 132人目の素数さん2017/02/22(水) 15:37:59.07 ID:+mCPD1yq
http://imgur.com/a/8guXm
公の図書館で、本借りようとしたら、
参考文献のところで広告が貼られていた。
一応通報しておいたけど、
檜山とかいう人のページは見たことあるけど、論理的にも世間的にも少し頭おかしいと思うので、圏論勉強する人は気をつけて下さい。
386 : 132人目の素数さん2017/02/22(水) 16:14:31.58 ID:YoN+DgPm
これはひどい
387 : 132人目の素数さん2017/02/22(水) 16:15:41.34 ID:YoN+DgPm
らくがき古本を仕入れたせいかもしれないがな
388 : 132人目の素数さん2017/02/22(水) 19:37:01.86 ID:EHrfcS6s
檜山wwwww
エセの極みだろwwwwwwwwwww
389 : 132人目の素数さん2017/02/22(水) 22:28:59.47 ID:+mCPD1yq
>>387
出版屋から図書館宛の払込票がついてたから違うと思う。陰湿な犯罪
390 : 132人目の素数さん2017/02/22(水) 22:38:03.67 ID:+mCPD1yq
http://imgur.com/a/xM3UI
403 : 132人目の素数さん2017/02/24(金) 10:16:00.04 ID:qJSAlq1F
犯罪者 檜山正幸が隠蔽工作を行うスレはこちらです。 記号論とか AA シーニュ的 数式は?
古いはなしだけど。発現?発現。 圏論スレと間違えて雑談スレに書き込んでしまった
任意の2つの対象の積と和が存在する圏において
A×(B+C)→(A×B)+(A×C) の同型射は"一般には"存在しない
これは正しい? H山はどうしてあんなにフローチャートなんかを推しているんだ? 「一般には存在しない?」
↓
「ああ、反例がある」
↓
「一般にはだろ?」
どうしてこうなるのか >>457
きちんと話したいなら英語でかけ。日本語の文章特性くらい理解しろ、カス。 「一般」の意味を「平面上の一般の位置にある3点」みたいな感じで捉えているんだろうか 「一般には」の「は」の意味を捉えられていないのだろうな 最初に>>454みたいな言い方しといて
「きちんと話したいなら英語でかけ」
とか笑止 ここでは加法圏かんけいないやろ、
圏論やるくらいなら、
日本語は動的に意味をくみ取れ、カス。 たぶん「私は行きます」と「私が行きます」の違いがわからないやつだろう。
素でこういう人間がいるんだよ。 さっきから、
低能リプよこすな、
他スレへいけ。
日本語信仰も大概にしとけ。 こいつ相手を貶す時いつも「文系」という言葉を使うやつだろ
以前も似たようなことで発狂してたわ このレベルで数学が(というか日本語が)できない人間がいるんだなw驚いたわw わかった
>>450の
> 任意の2つの対象の積と和が存在する圏において
> A×(B+C)→(A×B)+(A×C) の同型射は"一般には"存在しない
に対して、>>453の「反例」を
「加法圏なら同型射が存在する」
という意味に取ったんだな。
俺には>>453は
「加法圏なら同型射がない例が簡単に構成できる」
と主張しているようにしか思えない。 >>454
> >>453
> 一般にはだろ?
横レスだが(次の引用では元の文での注意を喚起する目的で使用されていた""は除去した)
元の文>任意の2つの対象の積と和が存在する圏において
元の文>A×(B+C)→(A×B)+(A×C) の同型射は一般には存在しない
この「一般には存在しない」という日本語の部分は、「存在しない場合がある」という意味だ
それに対して
対比文>任意の2つの対象の積と和が存在する圏において
対比文>A×(B+C)→(A×B)+(A×C) の同型射は一般に存在しない
この対比文は元の文での「一般には」の「は」が削除されただけだが、こちらの「一般に存在しない」の部分は
上とは全く異なって「絶対に存在しない」という意味だ
「一般に」の直後の「は」の有無によって生ずる以上に述べた意味の違いが理解できないのならば
冗談抜きに国語を基本から勉強しなおしたほうがよい
あと数学の易しい教科書を証明を含めて良く読んで日本語での言明の書き方・読み方に慣れることも不可欠だ >>476に補足
但し、対比文の「一般に存在しない」を「一般には存在しない」と同じ「存在しない場合がある」という意味で
数学の教科書などで使用(誤用)しているケースが稀にあるので注意が必要
但し、逆の「一般には存在しない」を「絶対に存在しない」という意味で使用することは絶対にない
従って、「は」の付かない「一般に」は肯定形の述語(例えば「存在する」とか「成り立つ」など)だけの修飾に使用を限定し
否定形の述語(「存在しない」や「成り立たない」など)に対しては、誤読(第1段落で述べた誤用の存在が原因の読み方)を回避する為に「一般に」を使用せず、
「決して」とか「絶対に」などの否定形専用の(つまり否定の「ない」と係り受ける…但し現在は肯定形にも使用されている)修飾語を使用するのが望ましい 「全員に は 行き渡らない」とか「全国的に は あまり知られていない」などのように
日常的な言い回しと一致してるんだから何も難しいことないのにね。 「一般に」と「一般には」のやつ英語だったらどうなるの? >>476-477
貴方の書き込みは精神異常者のものにしか見えない 本来、>>450と>>453だけで終わるはずの話に、何でこんなにスレを消費できるんだwww >>475
仮にそうなら、
>>453
は日本語話せないガイジだな。 >>485
ネットワーク上で信用できる、
アンケートシステムをオープンソースで構築してから言ってくれるかな? 一般に成り立たないことは例を一つ示せばよくて、その例のことを反例という。
いっぽう、例を挙げただけで一般に成り立つことが示せるわけではないのであって、
一般には成り立たないよな→反例がすぐできるな
という流れで使われた「反例」が「「一般には成り立たない」ことの否定「一般に成り立つ」ことを示す例」という
意味にはなりようがないことも明らか >>488
リアルでもネット(2chに限らない)でもいいから内容を修正して勝手にアンケートをとればいいのに、
おまえにとって不利な状況を作られるかのように被害者意識を持って、しかもその責任をこちらに押し付けてきた
それが>>486だ >>489
誰もお前の頭の中までいちいち見てくれると思うな。言葉がちがえば、それらは間違いとして即座に切り捨てられる。 >>491
>>489は頭の中ではなく文脈を読むという当たり前のことしか指摘していない お前の文脈を読む動機がなければ、ミスとしか見れない。場所を考えろ。 文脈関係なく、一般に「は」成り立たないことを示す例という意味以外で反例という言葉は使われない しかし事実として、おまえ以外の全ての人間が文脈を読み、
その前提で先日もおまえは議論を交わし、結果としておまえだけが日本語を解せない人間として扱われた
今さら「俺は文脈に依存しない前提で話してきたんだ」と主張しても誰も騙せまい >>493
おまえは先日こんなことを書いていたな
>日本語は動的に意味をくみ取れ、カス。
場所を考えた方がいいんじゃないか? 去り際はいつも余裕たっぷりの態度を見せるんだな
470 132人目の素数さん [] 2017/03/17(金) 14:10:37.89 ID:mXUCj2bf [10/10]
まあ、俺が去るわ。
邪魔したな。
498 132人目の素数さん [] 2017/03/23(木) 19:34:15.37 ID:C1WF/6d1 [6/6]
何言っても駄目やね、お幸せに。 そしてまたも何食わぬ顔で戻ってきて自分で自分を擁護し始める
473 132人目の素数さん [] 2017/03/17(金) 16:57:15.35 ID:OKoju7eu [1/2]
低能ばっかり
474 132人目の素数さん [] 2017/03/17(金) 17:05:48.59 ID:OKoju7eu [2/2]
カスしかおらんな。
500 132人目の素数さん [] 2017/03/23(木) 19:46:38.43 ID:wBH5U5zi
>>498
キチガイの相手すんな。 数学者だったら、曖昧性排除に論理式使えや。
他人を罵るためのクソみたいな疑似問題なんかどうでもいいよ。 いくら、圏論理解してようが、そこを取りまちがえたら、数学者としては最低だと思います。 「日本語は論理的ではない」という言説の9割くらいは負け惜しみだと思う。
そして負け惜しみのために日本語を貶すのは恥ずべき行為だ。 >>506
それはどうだかわかりませんが、
正しく使うことにこしたことはないですね。その点で、英語も日本語も同じです。
ただ、正しく日本語を使うのは英語より難しく、また英語がより重要であることも否定し難い事実だと思います。 論理式より論理的な言語は無いだろ。
だから論理式使え。 数学で論理式より重要な言語は無いだろ。
だから論理式使え。 論理的かはあれとして、英語と日本語では言い表せる対象が結構違うよ
例えば日本語には仮定法が無い。英語では事実と仮定を明確に区別できる。 数理議論学 単行本 ? 2017/3/10
若木 利子 (著), 新田 克己 (著)
http://amzn.asia/iHe38HM
人口無能諸君はこの本読んだ? DOGはないんか?
Differential
Operators
Gが思いつかん 正しい定義は
全ての「小」圏のなす圏だから
CAT自身は含まれない 含まれます
小さい(ある固定された宇宙に含まれる)かどうかは本質的じゃないです 2つの圏の間の「自然な関手」という概念、あるいはそれに似た概念ってあった? >>503
やたら論理式を上げてる人は、数学から落ちこぼれてしまった人が多い。
これ、常識。 一般のアーベル圏において、無限個の対象Ai(i∈Iで、Iは無限集合)
の直和Sと直積Tが存在するとき、SからTへの単射って必ず存在するの
でしょうか?存在するなら証明の概略でも教えていただけないでしょうか。
存在するとは限らないときは、何か反例を教えていただけないでしょうか。 ★★★数学徒は馬鹿板をしない生活を送り、日頃から真面目に学問に精進すべき。★★★
¥ >>537
アーベル群全体のなす圏Abのopposite圏をCとすると
Abでの無限直和Sと無限直積TはそれぞれCでの無限直積と無限直和になるが、
AbではSからTへ全射がないこともあり、そのときCではTからSにmonoはない >>550
なああああああるほど。てっきり単射は存在するものとばかり思い込んでました。
すごいなあ。ありがとうございました。でも>>538も間違ってないようにも
思えるんだけど、どうなのかなあ。 ☆☆☆理性を重視すべき数学徒の基本、ソレは『馬鹿板をしない』という事です。☆☆☆
¥ nine lemmaに関することなのですが、第1行と第3行が
短完全列なのに第2行が短完全列にならない例というのは
難しいのでしょうか。どなたかそういう例を教えて
いただけないでしょうか。 Inter-universal geometry と ABC予想 20 山下剛のサーベイ出る [無断転載禁止]©2ch.net
https://rio2016.2ch.net/test/read.cgi/math/1504249984/ 定義域(Domain)値域(CoDomain)同境感あふれるモノ井戸圏。 「圏論の歩き方」という書籍を読んでいるが,かなり良いと思う。
まず翻訳ではなく,また共著であるので少なくとも用語の誤りは心配しなくていいと言える点。
次に前述の共著であるという部分と重なるのだが,普通の数学書での共著とは異なり,
本当に様々な(物理学や計算機科学の人間もいる)人が議論形式で話を進めていっている点。
ほかにもいろいろ。でも寝むいので書かない。おやすみ 丸山善宏氏っていうのは圏論のガチの専門家なんでしょうか?
独自の哲学、思想的なこともかなりふみこんで発言しているようなんですが
https://researchmap.jp/ymaruyama/ 剣論の歩き方は座談会とかはいらなかった
ああいう内容はウェブにでもあげればいいのであって、紙媒体の本にはいらない内容 前原 「圏論入門」
アマゾンみたらすこぶる評判悪いけど、そんなにダメな本なの? やっぱりなかなかおかしな本ではあると思う。
ただ、Awodeyの訳書があまりに酷過ぎたせいで
徹底的に粗探しをされて居るような部分も結構ある
和書で類書が無いのは確かなので 81 名前:ご冗談でしょう?名無しさん[sage] 投稿日:2019/01/23(水) 03:51:57.54 ID:???
二重複体とか幾何学と代数学のカテゴリー間で矢鱈「翻訳」作業し続けるうちに抽出される情報もある。
物理学と数学間の翻訳作業
ゲージ理論とファイバーバンドルの理論、接続の理論の間で用語の翻訳作業やってるうちに代数幾何ルネッサンス20.5世紀の数学の再認識が行われたこともある。 266 名前:132人目の素数さん[sage] 投稿日:2019/02/12(火) 21:26:00.09 ID:9QAFw11F
「圏論入門(数学のかんどころ)」の正誤表が最近出たが
(https://www.kyoritsu-pub.co.jp/bookdetail/9784320110762)
間違い多すぎてワロタ
これで入門するの無理だろ 273 名前:132人目の素数さん[sage] 投稿日:2019/02/13(水) 14:12:13.15 ID:OP86Lp9C
>>270
著者と編集者の名前晒して初版は全部回収しないとダメ。こんな本が出回るのを許す社会はいつまでたっても進歩しない。
この初版が図書館に所蔵されたりしたら、将来それ読む奴悪夢だぞ。社会的損失が大きい。これくらいの間違いは自分で修正しながら読むものだみたいな常套句はもう看破されている。
274 名前:132人目の素数さん[sage] 投稿日:2019/02/13(水) 15:09:38.91 ID:HbWrxCkm
最近はHaskellとかの圏論ベースのプログラミングが流行ってて、バカな情報屋が圏論入門しようとポチって爆死するのが目に見えるな。
著者うはうは!
275 名前:132人目の素数さん[sage] 投稿日:2019/02/13(水) 21:44:51.93 ID:WvwaSama
>>274
連中のおかげで裾野が拡がって圏論本の出版が増えたのは有難い。
けれど、ああいう手合いがカテゴリーを理解出来るかと言うとまず無理。
関手の定義くらいまではついて行けても、肝心の自然変換、随伴に届かない。
高校、専門学校卒のコーダーってホント数学出来ないから。
圏の実例のほとんどが知らん、分からん状態になる。 276 名前:132人目の素数さん[] 投稿日:2019/02/13(水) 21:55:23.79 ID:NRvQrakG
自然変換って関手圏の射だから関手が行けるなら行けるじゃん 279 名前:132人目の素数さん[sage] 投稿日:2019/02/14(木) 07:16:22.85 ID:WPWHN22M
Awodeyの訳書出したときにも散々叩かれてたのに何もしないからこうなる
著者も悪いが共立出版は尚悪い 281 名前:132人目の素数さん[sage] 投稿日:2019/02/14(木) 14:01:19.48 ID:jI6Nn0La
Awodeyは一応みんな抑えてたよね。
内心「無いわー」と思いながら。 >>594
https://www.kyoritsu-pub.co.jp/bookdetail/9784320110762
ここみると,既に「この書籍は現在お取り扱いできません。」
って出てるね.正誤表のpdfもあるから,買ってみるかと
某書店にいったらまたあったから買ってみた.評判通りだね.
数学ワンポイント双書の現代版にしたいそうだけど,ちょうどベクトル
解析のワンポイント双書が手元にあるけど,850円だからなぁ.
高いかなぁ. https://www.cnn.co.jp/showbiz/35133125-2.html
中華文明に嫉妬するニホンザルヒトモドキの親戚土塵ヒトモドキニガークソ食いうんこフェイス低脳人食い象殺害クロンボゴキブリ害虫土俗ゴリラ撃ち殺せ 【超悪質!盗聴盗撮・つきまとい嫌がらせ犯罪者の実名と住所を公開】
@井口・千明(東京都葛飾区青戸6−23−16)
※盗聴盗撮・嫌がらせつきまとい犯罪者のリーダー的存在/犯罪組織の一員で様々な犯罪行為に手を染めている
低学歴で醜いほどの学歴コンプレックスの塊/超変態で食糞愛好家である/醜悪で不気味な顔つきが特徴的である
A宇野壽倫(東京都葛飾区青戸6−23−21ハイツニュー青戸202)
※色黒で醜く太っている醜悪黒豚宇野壽倫/低学歴で人間性が醜いだけでなく今後の人生でもう二度と女とセックスをすることができないほど容姿が醜悪である
B色川高志(東京都葛飾区青戸6−23−21ハイツニュー青戸103)
※色川高志はyoutubeの視聴回数を勝手に短時間に何百何千時には何万回と増やしたり高評価・低評価の数字を一人でいくつも増やしたり減らしたりなどの
youtubeの正常な運営を脅かし信頼性を損なわせるような犯罪的業務妨害行為を行っています
※色川高志は現在、生活保護を不正に受給している犯罪者です/どんどん警察や役所に通報・密告してやってください
【通報先】
◎葛飾区福祉事務所(西生活課)
〒124−8555
東京都葛飾区立石5−13−1
рO3−3695−1111
C清水(東京都葛飾区青戸6−23−19)
※低学歴脱糞老女:清水婆婆 ☆☆低学歴脱糞老女・清水婆婆は高学歴家系を一方的に憎悪している☆☆
清水婆婆はコンプレックスの塊でとにかく底意地が悪い/醜悪な形相で嫌がらせを楽しんでいるまさに悪魔のような老婆である
D高添・沼田(東京都葛飾区青戸6−26−6)
※犯罪首謀者井口・千明の子分/いつも逆らえずに言いなりになっている金魚のフン/親子孫一族そろって低能
E高橋(東京都葛飾区青戸6−23−23)
※高橋母は夫婦の夜の営み亀甲縛り食い込み緊縛プレイの最中に高橋親父にどさくさに紛れて首を絞められて殺されそうになったことがある
F長木義明(東京都葛飾区青戸6−23−20) ※日曜日になると風俗店に行っている 296 デフォルトの名無しさん[] 2019/04/04(木) 13:40:08.49 ID:l5IgkZnr
自然数が射(関数)になっていると言う感覚が分かった気がする。
Haskellで書けないけど、書けるとするなら
1 = 1
1という名前の1を返す引数無しの関数。 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 ())を得る過程でプログラムが走り出すとも言える。 2030
ふうL@Fu_L12345654321
学コン1傑いただきました!
とても嬉しいです!
https://pbs.twimg.com/media/D-IuUuqVUAALnAB.jpg
https://twitter.com/Fu_L12345654321/status/1144528199654633477
https://twitter.com/5chan_nel (5ch newer account) >>592
科哲の人達も割と圏使う話は聞いたことあるが、何をどう使って結論をどう出すのかさっぱり分からん。 キャテグリ論とか呼んでる見苦しいおっさんしってる? 全順序集合を圏としてみたとき、その部分のcolimitやlimitを考えることは最大元と最小元を考えることに相当するかと思います。
同様に半順序を圏とみて極大元、極小元を圏の言葉で上手に表す方法ってありますか?
少し考えたのですが、極小なら「それより小さいものがない」が定義なので射が生えてないことを言う必要があって少なくとも普遍性で表せないように思えました。 極大元や極小元については半順序だろうと全順序だろうと関係ないのでは? 全順序だと極大と最大が一致するので話が簡単になりませんか?一般の極大は単に極限では定義できないですよね? マックレーンの「数学ーその形式と機能」の第11章「集合、論理、圏」を読んでいたら
圏論的な冪の普通の特徴づけの後に、
「集合の件では任意の2つの対象ZとYに対して冪Z^Yが存在するわけであるが、
このことは、ベクトル空間(またはアーベル群)の圏でも成立する」
とあるんですが、ベクトル空間の圏には圏論的な冪は存在しませんよね?
他ならぬマックレーンのことですから、そんなことを間違うはずはないので、
関数集合としてのZ^Yがベクトル空間の圏の対象になることだけを言っているのでしょうか? 前後わからないけどZ^YをHom(Y,Z)の意味でつかってるとかでは?
その本の冪対象の定義はなんなん? >>620
「〜 この冪の記述は積を持つ任意の圏Cにも適用される。ある圏で、任意の1組の対象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への射のつもりで、一つの三角形の図式)
と言う普通の定義ですね。 うーん、その定義だとダメだな
Hom(Y,-)はY⊗-のright adjointであって直積のではないからなぁ 線形空間の圏の場合、カリー化したときにXとYは別々に線形でないといけないので
直積じゃなくテンソル積が必要だと言うことですよね。
マックレーンはなんのつもりだったのかな? まぁどんな優秀な人でも筆が滑ることはあるよ。
論文みたいに査読が入ってるわけでもないからじゃぁないしね。
でもいい本ほどその手のミスがあるもの。
オレのお気にのLangの本とかかなりあてにならん。
でも教科書としては優秀なんだよなぁ。 Mac Laneは圏というものが無かった時代に
定義から考え出した当の創始者だから、
半世紀後の我々が当然だと思ってる
何かしらの同一視か何かをを当然視してなくて
その結果彼の中では筋が通っている、
みたいな事もあり得るけどね。
時代が離れれば離れるほどこういう事は起きやすくなる 随伴わかんねー
これ要は相互に表現可能性持っているってこと?
ストーン双対性からやった方が早い? 日本の怪しげなやつが書いた圏論のホンはしんようするな
金と時間の無駄遣いだよ 文学部出身の数理論理学者はたいてい○○だよな(例外はいるが) 和気藹々とカテゴリ論できるもんかと思ってた。
ようやく時間の無駄だったと気づけた。 現代思想2020年7月号 特集=圏論の世界
“矢印”が描きだす、豊穣なる現代数学の最前線
現代数学における最重要分野の一つともいえる圏論。その高度な抽象性と一般性は、物理学や計算機科学、生物学、言語学、美学などあらゆる領域で豊かな威力を発揮しつつある。本特集では圏論の基本からさまざまな応用の実際、さらには哲学的な射程についても紹介・検討することで、今ひときわ注目をあつめる数学的思考法の真髄に迫りたい。
【目次】
特集*圏論の世界――現代数学の最前線
【Discussion】
圏論がひらく豊穣なる思考のインタラクション / 加藤文元+西郷甲矢人
【Keynote/Introduction】
圏論の哲学――圏論的構造主義から圏論的統一科学まで / 丸山善宏
圏はどういうものであったか / 小原まり子
【Mathematics/Logic】
圏論とトポロジー / 玉木大
数論幾何と圏論 / 伊藤哲史
圏論的論理学への道案内――論理学と数学をつなぐトポス / 荒武永史
圏論と集合論 / 渕野昌 【Computing/Language】
コンピュータ科学と圏論についての回想と考察 / 三好博之
代数的言語理論の圏論的公理化とガロア理論との統一 / 浦本武雄
ソフトウェアの数理モデルと圏論 / 檜山正幸
【Sciences/Art】
科学の書き言葉としての圏論 / 谷村省吾
普遍性とそのゆらぎ――ネットワークの圏論的諸展開 / 春名太一
圏論の展開?脱圏論への転回 / 郡司ペギオ幸夫
圏の図式からみた芸術の理論――穴・コホモロジー・アブダクション / 久保田晃弘
【Philosophy】
圏論による現象学の深化――射の一元論・モナドロジー・自己 / 田口茂+西郷甲矢人
数学の構造概念はフランスの構造主義にいかなる理解をもたらすか――ブルバキ、カヴァイエス、ロトマン、そして圏論を手引きにして / 中村大介
アラン・バディウの哲学と数学の関係についての批判的考察――「概念の哲学」のポスト・カヴァイエス的展開の諸相という観点から / 近藤和敬 385 : 132人目の素数さん2017/02/22(水) 15:37:59.07 ID:+mCPD1yq
http://imgur.com/a/8guXm
公の図書館で、本借りようとしたら、
参考文献のところで広告が貼られていた。
一応通報しておいたけど、
檜山とかいう人のページは見たことあるけど、論理的にも世間的にも少し頭おかしいと思うので、圏論勉強する人は気をつけて下さい。
386 : 132人目の素数さん2017/02/22(水) 16:14:31.58 ID:YoN+DgPm
これはひどい
387 : 132人目の素数さん2017/02/22(水) 16:15:41.34 ID:YoN+DgPm
らくがき古本を仕入れたせいかもしれないがな
388 : 132人目の素数さん2017/02/22(水) 19:37:01.86 ID:EHrfcS6s
檜山wwwww
エセの極みだろwwwwwwwwwww
389 : 132人目の素数さん2017/02/22(水) 22:28:59.47 ID:+mCPD1yq
>>387
出版屋から図書館宛の払込票がついてたから違うと思う。陰湿な犯罪
390 : 132人目の素数さん2017/02/22(水) 22:38:03.67 ID:+mCPD1yq
http://imgur.com/a/xM3UI
403 : 132人目の素数さん2017/02/24(金) 10:16:00.04 ID:qJSAlq1F
犯罪者 檜山正幸が隠蔽工作を行うスレはこちらです。
一応、H山は軽犯罪者なので周知。 色川高志(葛飾区青戸6−23−21ハイツニュー青戸103)
●色川高志「高添沼田の息子の金属バット集団殴打撲殺を熱望します」
龍神連合五代目総長・高添沼田の息子(葛飾区青戸6−26−6)の挑発
●高添沼田の息子「糞関東連合文句があったらいつでも俺様を金属バットで殴り殺しに来やがれっ!! 糞関東連合の見立・石元・伊藤リオンの糞野郎どもは
龍神連合五代目総長の俺様がぶちのめしてやるぜっ!! 賞金をやるからいつでもかかって来いっ!! 糞バエ関東連合どもっ!! 待ってるぜっ!!」(挑戦状)
492盗聴盗撮犯罪者色川高志(青戸6−23−21ハイツニュー青戸1032021/02/03(水) 13:53:22.55ID:QtP78E4Z
●青戸六丁目被害者住民一同「盗聴盗撮犯罪者の高添沼田ハゲエロ老義父の逮捕を要請します」
長木親父&長木よしあき(盗聴盗撮犯罪者の高添沼田ハゲエロ老義父を逮捕に追い込む会&被害者の会会長)住所=東京都葛飾区青戸6−23−20
●盗聴盗撮つきまとい嫌がらせ犯罪者/アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父
高添沼田ハゲエロ老義父の住所=東京都葛飾区青戸6−26−6
【通報先】亀有警察署=東京都葛飾区新宿4ー22ー19 рO3ー3607ー0110
盗聴盗撮つきまとい嫌がらせ犯罪者/アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父の盗聴盗撮つきまとい嫌がらせ犯罪者/愛人変態メス豚家畜清水婆婆(青戸6−23−19)の
五十路後半強制脱糞
http://img.erogazou-pinkline.com/img/2169/scatology_anal_injection-2169-027.jpg
アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父によりバスタブで清水婆婆の巨尻の肛門にシャワーのキャップをはずしてずっぽり挿入。 若いころ外国に行ってた、とかいう話を聞いたら注意が必要
実は「塀の中」だったりすることが多々ある いいんだけどさ 吉田類がフランスに行った番組を見たけど
どうみてもフランス語話せそうもない感じだった
ま、どうせ居酒屋で酒飲むだけの番組に出てる人なんで
本当に絵描きかどうかなんてどうでもいいんだけどさ 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で書いちゃってたけど
ホーア論理を知らないとプログラム書けないか
っていわれたら全然そんなことないんで
要するに「教養」だと
なんかこう書くと「教養」って大学卒の空疎なイキガリみたい聞こえるけど
本当はそういう主旨ではなくて、プログラムと論理の深いつながりが分かると
バグのないプログラムの実現に大いに寄与する筈ということなんだけどね
ま、それはともかく、プログラミングだけなら別に数学も論理も必要ない
言葉が話せる人なら、プログラムも書ける筈である・・・たぶんw 個人的には圏論について語るより巨大数について語る方が楽しい
「巨大数」といってるが実際には「数」ではなく急増加関数である
しかし、これを超限順序数に対応づけられるので、
まあ、そこまでいえば「数」であるが
圏論がよくある抽象化一般化の例だとすれば
巨大数論はヲタク的な特殊論の深掘りといっていい
しかし素人が数学についてそういう興味を持つのはいいことだと思う
ついでにいうと数セミで小林銅蟲氏のマンガが読めるのもよかった どれ、代わりにググってやろう
素イデアルの集合の空間を張り合わせたものだってさ 空間で定義された関数環は可換環
それが非可換環になるような空間は存在しないが
非可換環は存在するから代わりに研究する コンヌは天才なの?
数オリメダリストじゃないが
数オリメダリストも天才だよね? >>657
所詮作られた問題に対して解答を付けるというだけでは価値は低い
価値が本当に高いのは自分で問題を提示し、それに自分で解答をつけること
数オリメダリストがどういう人種か会ったことはないが、自分で問題を作っていないのなら評価はそんなに高くないと私は予想する
それとも最近の数オリというのは、自分で問題を作るという作問があるのか? >>658
あなたの数学的力量がわからないとあなたの判定基準が妥当なものかどうかわからない。
数学にロマンを求める素人の妄想だと思われるのがオチ。 前層と言う訳語がマヌケだったな。
素層と書いて「そうのもと」とすべきだった。
まあ、そそうでもよいのだが。 範疇と云う俊逸な訳語があったのになぁ。
宇宙に至っては、思考停止じゃないかね。 代数幾何学は、宇宙人が創始したの?
人間には不可能だよね? 代数幾何学は人間のグロタンディークが創始したんだよ >>666
不定域イデアルという立派な名前があるやろ? >>680
おまえみたいなカスが体裁保ちながら実社会で居直り続ける重罪さ加減に自覚を覚えるのがいちばん困難。 圏論って何で必要なのですか?
集合論で十分ではないですか?
圏論の冒頭自体が集合論の言葉で記述され、
関手や自然変換などのような基礎概念も要するに準同型概念にすぎないし。 オブジェクト指向みたいなもの
と思えばいい見通しが良くなる 色んな圏に対して共通の枠組みが提供されてるというのがデカいのかな?
この圏にはpullbackはあるのか?とか極限が常に存在するからこういう性質も当然持ってるよなとか >>689
イデアルで割る準同型定理は学部数学でのいちばんの難所 >>692
それは知らなかった。
大学院向けの授業をするときの参考にさせていただく。 >>690
それは、圏論はオブジェクト指向みたいに、めんどくさいだけで
よく分からない代物だという意味?w 圏論ではオブジェクトは無用です
モルフィズムがあれば良い
以上冗句です 図式スキームというのは(多重)有向スキームのことであってこれは前圏と同じ意味でいいわけで、それは圏論の基礎にも書いてあるわけですからそこについてとやかくいわれるいわれはなく、
いったい何を問題にしているのかどういうスキームかどうかときかれても図式スキームとどういうスキームであるかどうかという意味が違うと言われてもこの文脈では違うという話はリンク先ではよくわかってないわけで、つまり圏とは前圏を拡張したもので前圏と圏とは密接な関係であるわけでグラフ理論と圏論という関係についてオイスティン=オアとマックレーンの関係がどのうこうのということは、一部しかわかっておらず、
いうなれば随伴してれば忘却関手なりで構造を忘れてグラフの世界に言って解いてから戻ってくればいい話であって,つまりマックレーンの圏論の基礎の不自然なところは随伴に関する記述であって、
でもだからといってそれは大まかなスキームについて書かれた文献は見つけられても具体的にどうすればいいかということについてかかれた本にリーチしているわけではないわけで,つまり構造化プログラングと関数型あプログラミング、
圏論についての合流点という最も大事で私も非常にあ関心を抱いているということが一目瞭然なことに触れれば、O'CAMLのCAMLというのはCategorical Abstract Machin Languageという言葉の略であり圏論的抽象に関する機会言語という非常に関心を全く抱く話につながるわkです。 随伴関手:『具体的な数学において、解けない問題があり、これを圏として定義した後、随伴関係を用いて別な圏で問題を考え、そこで解いた後、元の圏に戻るという使い方は、有効な使い方であろう。』圏論の展開~脱圏論への転回(郡司ペギオ幸夫)とあり、解けない問題もいったん忘却関手でグラフの問題にして解いてからもとにもどすという手法を記載することは意味があるというかここが圏論の一番重要な点なのでそこを記載。 数学の概念は難しい問題を別の形に置き換えるために生まれるもので、圏論も例外ではない、という話だね。 >>700
圏論とプログラミングは関係ないだろ。オブジェクト指向が圏論で説明されるとか
どこかで読んだがそんな嘘っぱちあるわけないだろ。 圏論は圏論、数学ではない。
集合論が数学でないのと同じ。
言葉として利用してるだけの話。 俺が数学の枠組みを決められる謎の自信はどこから生まれるんだろう このアンビエントなジャズ、少しアバンギャルドで良くないですか?
//youtu.be/f0og1UrDFy0 言葉として圏論を学ぶ意義は全く否定しない
ただ言葉としての圏論を学べば
圏論で語られる数学のすべてが分かる
というのは幻想である
言葉としての論理を学べば
論理で語られる数学のすべてが分かるか?
そんなことはないでしょう
言葉を学べば
言葉で語れる物事のすべてが分かるか?
そんなことはない それと同じ
このことを承知した上で
言葉として圏論を学んでいただきたい >>717
もちろん、言葉なしの数学はありえませんし
言葉として圏論を学ぶ意味もまったく否定しませんよ
わたしがいっているのは
英語を学べば英語で書かれたことのすべてが
英文法と英語の辞典からわかる
というのは馬鹿げた考えだというものです
もちろん、そんな愚か者はいないよ、
と皆さん言われると思いますが
ここは・・・5chですからね >>718
そもそも君は数学全体を語る前に、その圏論のことちゃんと分かってんの?∞圏とかさ
今は数論幾何とかでも必須になりつつあるけど >>716
正統サンスクリッドから正格ラテン語まで
印欧語圏
は実際問題として正しい文法規則にさえ辿り着ければ言葉で騙れる物事の全てがわかる!という確信めいたものを持つ傾向が強くあると思う。
日本人は悪い意味で自然言語が女の使うラブレター用みたいな女々しくも非論理性の塊みたいな情念が強い。 >>719
弱い意味でのK群が複式簿記という経済活動の基本言語に思えてならない。 triangulated categoryが
学部の必須科目になる日が来るかもしれない 50年前
スキームはいずれ高校の教科書に載るだろうと言われていた。
たしかにまだだが
学部の授業では教えられるようになったそうだ。 >>727
なってないなってない
学部レベルならそれより教えるべきことは別にある
紹介ぐらいならするかも知らんが >>703
射の射の射の射の・・・・・・と無限にあるやつ >>724
東京大学工学教程の「微分幾何学とトポロジー」にはウィッテン流のモース理論の“証明”が載ってる。
弱い意味でのK群でもあり導来圏でもある指数定理の指数ぐらいなら学部でインスタントんにやっちゃってるのに近い。 >>734
スキームは使わんが計算にグレブナー基底は使うんで載せる
楕円暗号もネット認証という或る種の“証明”に使うんで載せる >>736
本来なら形式的アルゴリズム的にプログラム安全性を保障したいところだが
それは無理なので ■ このスレッドは過去ログ倉庫に格納されています