Bifunctors in Haskell vs in category theory
In Haskell, the class Bifunctoris defined as follow : class Bifunctor p where bimap :: (a -> b) -> (c -> d) -> p a c -> p b d In category theory, a bifunctor is, according to ncatlab, “simply a functor whose domain is a product category : for C1, C2 and D categories, … Read more