私が理解している限り、ファンクターは 2 つのカテゴリ間のマッピングです。
Haskell には、オブジェクトが Haskell 型で射が Haskell 関数である Hask があります。ただし、Functor
型クラスには、これらの型fmap
間をマップする関数があります(したがって、これらはオブジェクトであり、カテゴリ自体ではありません)。
fmap :: (a -> b) -> f a -> f b
f a
とHaskf b
の両方のオブジェクトです。これは、Haskellの のすべてのインスタンスがエンドファンクタであることを意味するのでしょうか。Functor
Functor
ここで何が欠けていますか?タイプはHaskellのカテゴリでもありますか?