2015年1月17日

CCCと直和がどうのこうの

圏論わからん

デカルト閉圏圏論数学 CCC Haskell

前へ 1 2

ちゅーん @its_out_of_tune

そして圏論の知識がなさ過ぎ。

2015-01-17 19:55:12

ちゅーん @its_out_of_tune

そもそも冪とhomが一致する事とカリー化が可能であることがごっちゃになっていた可能性。

2015-01-17 19:58:32

有声咽頭摩擦音 @dskszk

余積と始対象のあるデカルト閉圏は双デカルト閉圏(bicartesian closed category)というらしい.

2015-01-17 20:00:38

ちゅーん @its_out_of_tune

おおっ！

2015-01-17 20:01:12

ちゅーん @its_out_of_tune

直和を入れると始対象も付いてくるのか。うむぅ。

2015-01-17 20:02:54

ちゅーん @its_out_of_tune

特にこれといった結論は無いけど色々収穫あったのでまとめまう。

2015-01-17 20:03:51

みょん @myuon_myon

posetなbicartesian closed category = Heyting algebraなので割と重要だった(忘れてた)

2015-01-17 20:04:51

みょん @myuon_myon

@its_out_of_tune すいません、やっぱり私が思っていたよりbiCCCは重要だったようです twitter.com/myuon_myon/sta…

2015-01-17 20:10:52

前へ 1 2