Representable functors in Haskell
Representable functors A functor1 \(F : C \to Set\) is called representable if it is isomorphic to \(Hom(A, -)\) for some \(A\) (denoted as \(F \simeq Hom(A,-)\)). Since we are talking about Haskell, I’ll also use the \((a \to -)\) notation instead of \(Hom(a, -)\). The object \(A\) is called representing object for a functor \(F\). Usually, the isomorphism between the functor is given by two natu
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GHC API tutorial
