Hask圏
対象
Haskellのカインドが*である型
射
Haskellの関数
射
始域(dom)は関数の引数の型
射
終域(cod)は関数の戻り値の型
恒等射
id
射の合成
関数結合 (.)
であるような圏
恒等射idは以下のように定義されるとのこと
code:haskell
id . f = f . id = f
ref:
Haskell/Category theory - Wikibooks, open books for an open world
関連
Control.Arrow
Functor
Either型
自己関手
Haskellの各種圏論概念への対応
参考
【Haskell】 FunctorクラスはHask圏からHask圏への関手 - Qiita
Haskellと圏
Haskell/Category theory - Wikibooks, open books for an open world
メモ
【Haskell】 とびだせ!Hask圏 #圏論 - Qiita
Hask圏 - mrsekut-p
#圏論
#Haskell