型と関数の圏

• 型とその間の関数は圏になる

• 型は集合だと考えれば集合圏と一緒だね

• HaskellのFunctorクラスはHask圏の自己関手になっている