Haskell/圏論 - Wikibooks

この項目では Haskell に関連する内容に限って圏論の概観を与えることを試みる。そのために、数学的な定義に併せて Haskell コードも示す。絶対的な厳密さは求めない。そのかわり、圏論の概念とはどんなものか、どのように Haskell に関連するかの直感的な理解を読者に与えることを追求する。 ３つの対象A, B, C、３つの恒等射, , と、さらに別の射, からなる単純な圏。３つめの要素(どのように射を合成するかの定義)は示していない。 本質的に、圏とは単純な集まりである。これは次の３つの要素からなる。 対象(Object)の集まり。 ふたつの対象(source objectとtarget object)をひとつに結びつける射の集まり。(これらはarrowと呼ばれることもあるが、Haskellではこれは別の意味を持つ用語なので、ここではこの用語を避けることにする。) f がソースオブ

[ikaro1192]

とてもわかりやすかった

[hamamuratakuo]

本質的に、圏とは単純な集まりである。圏どうしを関連づける関手(functor、ファンクタ)である。関手の本質は圏の間の変換である。モナド は圏から同じ圏への関手であり、さらにいくつかの追加の構造を提供する。→do記法

[bouzuya]

ふむー

[goodstoriez]

“何らかの構造Mがあり、任意の対象XをM(X)としたり、M(M(X))をM(X)とできる自然な方法があるとき、それはしばしばモナドである”

[todays_mitsui]

あとで読む

[argius]

こんなのあったんですね Haskell/圏論 - Wikibooks

[mnru]

do 糖衣 構文 展開

[amkkun]

Haskellと圏論

[todesking]

Haskellにおける圏論、わかりやすい気がする