Haskellと随伴 - Qiita

随伴というのは2つの関手の関係のことです. $ F : \mathcal{C} \to \mathcal{D} $, $ G : \mathcal{D} \to \mathcal{C} $があったとき, 随伴$F \dashv G$ とは, 自然同型 $\hom(F\cdot,\cdot) \cong \hom(\cdot,G\cdot)$ のことです(ただしこの同型はhomの左右を同時に固定して, 2変数引数としてみて考えます). 文章で読むより図式を見たほうが早いです. コードにするのも簡単です. class Adjunction f g where leftAd :: (f a -> b) -> (a -> g b) rightAd :: (a -> g b) -> (f a -> b) -- Adjoint laws -- 1. leftAd . rightAd = id -- 2

[kasumani]

Haskellと随伴 随伴というのは2つの関手の関係のことです. Tags: feedly, ifttt, recently read, saved for later from Pocket December 06, 2014 at 01:44AM via IFTTT

[igrep]

おお、ここまでHaskellで圏論について説明する文もちょっと新鮮ですね。後でしっかり読もう。。。