Are all Haskell functors endofunctors?

后端 未结 3 871
小鲜肉
小鲜肉 2021-01-30 17:16

I\'m a bit confused, and need someone to set me straight. Lets outline my current understanding:

Where E is an endofunctor, and A is some categ

3条回答
  •  你的背包
    2021-01-30 17:58

    A possibly relevant (or at least interesting) discussion specifically regarding monads is found in the paper "Monads need not be endofunctors":

    http://www.cs.nott.ac.uk/~txa/publ/Relative_Monads.pdf

提交回复
热议问题