735 :デフォルトの名無しさん :2007/02/15(木) 00:11:39 >>733 3行で説明するのは俺には無理. まず定義5.これは実際に手を動かすと見えてくるので, 具体例でやるのが良いと思う.以下はその pdf にもある例. 1. リスト函手 ・型 A に対し T A は A のリストを作る: T A = [A] ・関数 f :: A -> B に対し T f :: [A] -> [B] は次の関数を作る: T f = map f ・μ_X は X 型のリストのリストをならして X 型のリストを作る: μ_X = concat ・η_X は X 型の値 x からそれだけからなる [X} 型のリスト [x] を作る: η_X = singleton = (:[]) これらを図に代入して,ちゃんと可換になることを確認するよろし. 736 :デフォルトの名無しさん :2007/0