24/11/09 18:05:52.30 4Q5b7QAO.net
やっぱ知らなかったか。そりゃ理解できないわ。
Haskellerに多いんじゃない？直接対応するのKleisli tripleってこと知らない人。
圏論の基礎の初めのあたりにモナドとモノイドとの対比が載ってるから広がったんだと思うけど、
モノイド知っても何か足しになるとは思えない。
そういえば、『圏論の歩き方』にKleisli圏の例が載っていた気がする。代数じゃなくてたしか確率だったけど。
24/11/09 18:05:52.30 4Q5b7QAO.net
やっぱ知らなかったか。そりゃ理解できないわ。
Haskellerに多いんじゃない？直接対応するのKleisli tripleってこと知らない人。
圏論の基礎の初めのあたりにモナドとモノイドとの対比が載ってるから広がったんだと思うけど、
モノイド知っても何か足しになるとは思えない。
そういえば、『圏論の歩き方』にKleisli圏の例が載っていた気がする。代数じゃなくてたしか確率だったけど。