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

kasumanikasumani のブックマーク 2014/12/06 02:01

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

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...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう