Hask圏
Hask圏(Hask category)
Haskellの圏？
厳密にはundefinedがあるせいでうまく構成できないらしい
Hask圏の構成は、
対象
射
Haskellの関数
f :: A -> B
射の始域
始域(dom)は関数の引数の型
射の終域
終域(cod)は関数の戻り値の型
恒等射
id :: A -> A
射の合成
関数結合 (.)
f . g = \x -> f (g x)
であるような圏
恒等射idは以下のように定義されるとのこと
code:haskell
id . f = f . id = f
関連
参考
メモ