更新 2017年6月1日作成 2017年5月31日

代数的データ型はF-始代数的データ型

F-代数の時間だオラァ！ F-代数が実際にどのように data List a = Nil | Cons a (List a) を成すか？

数学代数的データ型圏論 Haskell

deprecatad
3225
5
0
0

前へ 1 2 3

あいや🐕 @public_ai000ya

直和型のある値構築子は直積 F(X) = 1 + (A × X)

2017-05-31 15:44:26

あいや🐕 @public_ai000ya

BoolはF(X) = 0 + 1 ？

2017-05-31 15:49:20

あいや🐕 @public_ai000ya

1'というべきか？？

2017-05-31 15:50:35

あいや🐕 @public_ai000ya

0だと終対象っぽくなっちゃう

2017-05-31 15:51:13

cutsea110 @cutsea110

@public_ai000ya @yuwki0131 私も圏論は門外漢で勉強中なので理解できたら是非教えてください.

2017-05-31 17:28:36

cutsea110 @cutsea110

@public_ai000ya Boolも1+1で良いかと

2017-05-31 19:06:59

cutsea110 @cutsea110

@public_ai000ya 集合と関数の圏で考えると1は{*}で*はなんでもいいけどなんか一点集合みたいなもの。 Boolになるであろう対象Xは中身は見えない事になってんだけど、TとFがあるはずで、1→Xな関数はどんだけあるか？というとfalse * = Fとtrue * = Tなる二本がある。

2017-05-31 19:13:47

cutsea110 @cutsea110

@public_ai000ya [false,true] X <------------1 + 1 こんな感じだと思う

2017-05-31 19:15:52

前へ 1 2 3

いま話題のタグ