Hask圏

Haskellの型と関数の圏のこと

HaskellのFunctorクラスはHask圏の自己関手になっている。つまり一般的な関手ではなく、Hask圏からHask圏への関手になってる