TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
5日間のうちに株を売ると決めている場合、いつ売ると最も期待値が高いか?但し株価は無作為に変動します
加藤毅は引用2
フェルマーの最終定理の簡単な証明
Inter-universal geometry と ABC予想 38
私立文系学部の入試にも数学を必須にすべき
なぜ数学板は廃墟と化したのか
SNS死神ムラカミ
数列 総合スレ
現代数学の系譜 古典ガロア理論を読む38
素数について教えていただきたいのですが
圏論、カテゴリー論
- 1 :2016/05/07 〜 最終レス :2020/06/19
- 圏論、カテゴリー論のスレッド
- 2 :
- 埋め
- 3 :
- 需要あるかと思って建ててみたものの想像以上にレスがつかない・・・
- 4 :
- 圏論の技法って読んだ人いる?
もしよかったら感想を教えてほしい
- 5 :
- 代数・幾何・解析の基本的な勉強をやり直してこい
- 6 :
- カン拡張勉強中
- 7 :
- 圏論の用語ってすごくね?
「忘却函手」「極限を創出」「左随伴、右随伴」「超教義」
中二病の時に勉強すれば効率がよさそう
- 8 :
- 圏論を図なしてやってもツマラン
- 9 :
- 矢印の技法
- 10 :
- 10
- 11 :
- 理科大の二部生でも圏論やる人いるんだな。驚きだ
もっと賢い人がやるもんだと思ってた
- 12 :
- 大げさな
- 13 :
- 学部レベルでも圏論使うでしょ
- 14 :
- あげ
- 15 :
- 突発的なクソスレ
- 16 :
- ■前スレ
圏論 / カテゴリー論 / Category Theory 5
http://wc2014.2ch.sc/test/read.cgi/math/1450175219/
圏論 / カテゴリー論 / Category Theory 4
http://wc2014.2ch.sc/test/read.cgi/math/1364351100/
圏論 / カテゴリー論 / Category Theory 3
http://kamome.2ch.sc/test/read.cgi/math/1156976472/
圏論 / カテゴリー論 / Category Theory 2
http://science4.2ch.sc/test/read.cgi/math/1089645233/
- 17 :
- 米田のレンマあたりで、HomeC(X,-)に射を代入するとかあるでしょ。
でも、HomeC(X,-)に入るのは、対象だから、どういう理屈で、射が入るのか分からないです。
誰か教えて。
- 18 :
- ¥
>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
>
- 19 :
- 教えてエロい人
- 20 :
- ¥
>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
>
- 21 :
- ¥
>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
>
- 22 :
- ¥
>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
>
- 23 :
- ¥
>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
>
- 24 :
- ¥
>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
>
- 25 :
- ¥
>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
>
- 26 :
- ¥
>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
>
- 27 :
- ¥
>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
>
- 28 :
- ¥
>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
>
- 29 :
- ¥
>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
>
- 30 :
- 『圏論による論理学―高階論理とトポス』読んでる人おる?
射T:1→Ωを用いたサブオブジェクト・クラシファイアーによって
monoである射 0_1:0→1 のcharacter(特性関数の一般化概念)として偽の矢⊥T:1→Ωを定義しているけれど
これだけだとT=⊥でもT≠⊥でも矛盾は生じないよね?
- 31 :
- ¥
>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
>
- 32 :
- ¥
- 33 :
- ¥
- 34 :
- ¥
- 35 :
- ¥
- 36 :
- ¥
- 37 :
- ¥
- 38 :
- ¥
- 39 :
- ¥
- 40 :
- ¥
- 41 :
- ¥
- 42 :
- >>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.)だろうか)
図を書いてみればこれしかないって気がすると思う
- 43 :
- ¥
- 44 :
- ¥
- 45 :
- ¥
- 46 :
- ¥
- 47 :
- ¥
- 48 :
- ¥
- 49 :
- ¥
- 50 :
- ¥
- 51 :
- ¥
- 52 :
- ¥
- 53 :
- <<42
ありがとう
途中で定義のようなものかと思って、でもなにか矛盾がでるなと思ったんですが、Cの射の集合にCの射を結合すればよいので矛盾ないんですね。どういう誤解だったんだろう?
- 54 :
- 射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
であってる?
- 55 :
- 0って何?
- 56 :
- 0は始対象
- 57 :
- >>54
群の圏やベクトル空間の圏では成り立たない(から証明は間違ってる)
XからXへの射が恒等射しかないという条件を追加すれば成り立つ
- 58 :
- 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は始対象になると
- 59 :
- >>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≠⊥。
- 60 :
- >>59
ありがとう
対象と射が一つだけという状況は矛盾からなんでも導けてしまう論理のモデルに等しいのかな
まだまだ勉強途上だけど
こうやってトポスを分類ないし拡張していけば三値論理とか直観論理とか果ては様相論理のモデルも作れるのかなと妄想したりしてます
- 61 :
- trivial カテゴリー
- 62 :
- 質問
射の合成がhだとしてIm(h)=0
って射の条件ですか?
- 63 :
- 質問の意味がわからんが
h=gf:A→B→Cとして、Im(h)=0という条件からf,gに関する情報が得られるかってこと?
Im(h)と0は射?対象?
- 64 :
- マ イ ン ド コ ン ト ロ ー ル の手法
・沢山の人が、偏った意見を一貫して支持する
偏った意見でも、集団の中でその意見が信じられていれば、自分の考え方は間違っているのか、等と思わせる手法
・不利な質問をさせなくしたり、不利な質問には答えない、スルーする
誰にも質問や反論をさせないことにより、誰もが皆、疑いなど無いんだと信じ込ませる手法
偏った思想や考え方に染まっていたり、常識が通じない人間は、頭が悪いフリをしているカルト工作員の可能性が高い
靖 国 参 拝、皇 族、国 旗 国 歌、神 社 神 道を嫌う カ ル ト
10人に一人は カ ル ト か 外 国 人
「ガ ス ラ イ テ ィ ン グ」 で 検 索 を !
- 65 :
- ¥
- 66 :
- ¥
- 67 :
- ¥
- 68 :
- ¥
- 69 :
- ¥
- 70 :
- ¥
- 71 :
- ¥
- 72 :
- ¥
- 73 :
- ¥
- 74 :
- ¥
- 75 :
- >>63
レスありがとう。
コホモロジーの話です。
対象XYZ
射f X→Y
射g Y→Z
コホモロジーKer g/Im f
で、Im(g●f)=0という流れがあると思うのですが、
最後の式は、射の条件というわけではないのですか。
という質問です。
0はゼロ。空です。
- 76 :
- iii)対象の対(X,Y), (X,Y)が異なれば,Hom(X,Y)とHom(X,Y)とは互いに素である。
これかな。
- 77 :
- 記号が消えてる
iii)対象の対(X0,Y0), (X1,Y1)が異なれば,Hom(X0,Y0)とHom(X1,Y1)とは互いに素である。
これかなだ。
- 78 :
- やっぱりこれじゃないですね。
- 79 :
- >>75
恐らく加群の複体での話なんだろうが、ここは圏論スレでかつ>>75自身が圏の言葉しか使ってないので、コホモロジー以前の話として
・まずその圏にKerは存在するのか?
・「0はゼロ」じゃなくて、始対象か零対象か、もしくは対象ではなく零射なのか?で、それはその圏に存在するのか?
・「空です」←意味不明、空とは何か?まさか空集合?
- 80 :
- ¥
- 81 :
- ¥
- 82 :
- ¥
- 83 :
- ¥
- 84 :
- ¥
- 85 :
- ¥
- 86 :
- ¥
- 87 :
- ¥
- 88 :
- ¥
- 89 :
- ¥
- 90 :
- ¥
- 91 :
- ¥
- 92 :
- ¥
- 93 :
- ¥
- 94 :
- >>79
レスありがとう。
言われてようやく理解が少し進みます。
アーベル圏を基礎とした話のようでした。
空とかすみません。0だと記号と間違われると思って、零といえばよかったです。
- 95 :
- ¥
- 96 :
- ¥
- 97 :
- ¥
- 98 :
- ¥
- 99 :
- ¥
- 100 :
- ¥
100〜のスレッドの続きを読む
軍事機密にされた私が日本数学会事務局宛てに書いた素数の式。
整数論の一番良い本教えろ
現代数学の系譜 カントル 超限集合論2
代数学総合スレッド Part6
ようじょですpart3
現代数学の系譜 工学物理雑談 古典ガロア理論も読む42
巨大数探索スレッド13
0は自然数か?
羽生善治応援スレ
整数論の一番良い本教えろ
--------------------
コミックマーケット総合スレ(128)
スマップの噂
1185年生まれの奥様(ID無)
オオクワ採集 灯火 信悟は、行く!
オナ禁でネクストレベルを目指すスレ Part53
■■■ Liveの少女時代 varietyのKARA コスプレのT-ara
【ギターさん】〜毎日笑顔で暮らしたい〜3【ウーパールーパー炒め】
【関東地区G1G2】桐生・戸田・江戸川・平和島・多摩川☆23
【JDI 】ジャパンディスプレイ【税金救済】 Part.4
■撮影してて注意・カメラチェックされた香具師のスレ■
エイシンフラッシュ産駒に騙される会 Part2
【JS】カシオ本格実務電卓【DS】
━学習能力0ー逃げの一手で人生を送る卑怯者達━
【眞子様】小室圭氏 30【婚約延期!】
NACK5 Part65【アロハ・シッ、プハハハハハ・勢太郎 ダメDJ達の落園ラジオ】
【ボクシング】<井上尚弥にWBC王者が挑戦状!>最強兄弟との“連戦”意欲「すぐに戦えることを願う」
【ショック】真の「コロナ対応模範国」は韓国じゃなかった?=韓国ネットから反論も[4/19]
【デレステ】スターライトステージ★10055
ぼくたちは勉強ができない ネタバレスレ 問51【ワッチョイ】
【中日】チアドラゴンズ Part.11 【チアドラ2014】
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼