[Haskell-cafe] Better names for
vamchale at gmail.com
Wed Apr 22 15:17:52 UTC 2020
Pretty sure cofunctors are functors :p
In any case, I think the name “functor” is pretty apt, makes some sense compared to what I’d learned in algebra.
> On Apr 22, 2020, at 4:50 AM, Tony Zorman <tonyzorman at mailbox.org> wrote:
> Hi Marc,
> On Wed, Apr 22 2020 11:17, Marc Busqué wrote:
>> For instance, a functor can be both covariant and contravariant
> Judging from personal experience, "functor" in mathematics always (for a
> sufficiently small definition of always) refers to a covariant functor.
> If something is contravariant you usually declare it explicitly. These
> concepts are rather related though; one may view any contravariant
> functor F: C -> D as a covariant one, either by F: C^o -> D or by
> F: C -> D^o.
>> Would `Cofunctor` be a better name for it?
> Cofunctor has some ambiguity around it. While it might refer to a
> contravariant functor it may as well refer to the dual of a functor
> (which is again a functor).
> Tony Zorman | PGP: 0xc927de8c7dfd57b8
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> Only members subscribed via the mailman list are allowed to post.
More information about the Haskell-Cafe