ちゅーんさんがみょんさんにyoneda functorを教わるTL

頭がパーンwwwwww
5
ちゅーん @its_out_of_tune

ブログ更新 | Haskell-rerational-recordでDB操作するのが楽しすぎる件〜その1〜 - Creatable a => a -> IO b tune.hateblo.jp/entry/2014/06/…

2014-06-21 16:19:21
ちゅーん @its_out_of_tune

なんでこんな記事に1ヶ月もかけてるねんちゅーんさん。

2014-06-21 16:19:55
ちゅーん @its_out_of_tune

なんか5日前に呟いたこのツイートがぬるぬる伸びてる twitter.com/its_out_of_tun…

2014-06-21 16:26:34
ちゅーん @its_out_of_tune

Yoneda Embeddingっていう節に書いてあるの、これ共変hom関手の事だよね? #haskellmokumoku

2014-06-21 16:47:21
みょん @myuon_myon

きょ、共変hom奴〜〜〜wwww

2014-06-21 17:18:52
みょん @myuon_myon

で、出た〜〜〜〜奴〜〜〜って最近見ないねそういえば

2014-06-21 17:19:31
ちゅーん @its_out_of_tune

String -> String が id を単位元とするモノイドになってる的な話と、共変hom関手との関わりがよくわからない。結局 Yoneda Embedding ってのは何の事を言ってるんだ? #haskellmokumoku

2014-06-21 17:40:02
ちゅーん @its_out_of_tune

もしかしてYoneda embeddingの概要はFig3で説明仕切ってるのかしら。 うーむ #haskellmokumoku

2014-06-21 17:45:15
ちゅーん @its_out_of_tune

Fig3ってこれ、ぶっちゃけhom集合の話だよな・・・うーん?

2014-06-21 17:46:23
みょん @myuon_myon

@its_out_of_tune 文脈しらないのでアレですけど、米田埋め込みが埋め込みって言ってるのはyoneda functor y:C->Set^Copがyoneda lemmaから(fullかつ)faithfulだからです そういう話ではないですか?

2014-06-21 17:50:04
ちゅーん @its_out_of_tune

@myuon_myon これですね、Yoneda embeddingはyoneda lemmaより前の節です。 fpcomplete.com/user/bartosz/u…

2014-06-21 17:52:47
みょん @myuon_myon

@its_out_of_tune 見た感じ、embeddingについては全く触れてませんね yoneda functorというものがどういうfunctorかの説明だと思うので、それが分かれば飛ばしても大丈夫だと思いますよ

2014-06-21 18:01:38
ちゅーん @its_out_of_tune

@myuon_myon yoneda functorと共変hom関手ってどう違うのです?どっちもdomを固定した射の集合を対象とした圏への関手って感じで、同じような気がするのですが。

2014-06-21 18:06:03
みょん @myuon_myon

@its_out_of_tune そもそもyCがhomで定義されているので、(ここでは共変だからh(A) := hom(A,・)ですかね)同じものですよ!強いて言うなら、yoneda functorはC->Set^Copだから型が違いますかね

2014-06-21 18:12:26
ちゅーん @its_out_of_tune

@myuon_myon あれれ?読んでてCopが出てきた気がしないのです。。。Fig4見た感じ、H_A:C->Setと思ってましたが・・・。

2014-06-21 18:16:16
みょん @myuon_myon

@its_out_of_tune あーすいません、普通は(私が今まで勉強してきた中では) yC = hom(-,C)と定義してyをyoneda functorと呼ぶんですけど、Haskellでは hC = hom(C,-)と定義してhをyoneda functorと呼んでます

2014-06-21 18:18:47
みょん @myuon_myon

@its_out_of_tune 共変で定義するか反変で定義するかの違いですね hで言うとh:C^op->Set^CとなるのでhCは共変homになります

2014-06-21 18:19:18
ちゅーん @its_out_of_tune

@myuon_myon んっ、ここでまではhX:C->Setについてしか書かれていないけど、h:Cop->Set^Cになるよ的な事がこの先に書かれているのですかね?さっきから何処からCopが出てきたのか解らなくて軽く混乱しているのです。

2014-06-21 18:23:08
ちゅーん @its_out_of_tune

つまり hA=hom(A,-):C->Set とした時、hに与えるAはCの対象ではなくCopの対象という事だろうか。この時のhがyoneda functorって事か。

2014-06-21 18:26:40
ちゅーん @its_out_of_tune

yoneda functorは任意の圏の双対から共変hom関手を対象とした圏への関手?あたまこんがらがってきたwww

2014-06-21 18:27:59
みょん @myuon_myon

@its_out_of_tune あんまり記事読んでないのに口挟んですみません、ここでは直接は出てきてませんね 一般的に共変yoneda functorというのはh:Cop->Set^Cというやつなのでそれ前提で話を進めてました

2014-06-21 18:29:59
ちゅーん @its_out_of_tune

@myuon_myon なるほど。ちなみに共変yoneda functorの解釈は twitter.com/its_out_of_tun… twitter.com/its_out_of_tun… みたいな解釈であってます?

2014-06-21 18:31:50
みょん @myuon_myon

@its_out_of_tune 解釈は人それぞれだと思うのでなんとも言えませんけど、(一応ですが)C^opの対象というのはCの対象と同じものです それと、Set^CはC->Setの函手圏であって共変homの圏というのはよく分かりません

2014-06-21 18:35:52
ちゅーん @its_out_of_tune

@myuon_myon あうう、hX=hom(X,-)っぽいので、Set^Cの対象というのは共変hom関手の事かと思ったのです。

2014-06-21 18:37:34
残りを読む(3)

コメント

コメントがまだありません。感想を最初に伝えてみませんか?