22 Apr
2020
22 Apr
'20
11:47 a.m.
On Wed, Apr 22 2020 17:17, Vanessa McHale wrote:
Pretty sure cofunctors are functors :p
Indeed! What I meant to say was that the dual of a (covariant) functor is again a (covariant) functor, not a contravariant one and hence you again have the confusion as to which *kind* of functor the name should refer to. Cheers, -- Tony Zorman | PGP: 0xc927de8c7dfd57b8