A Cofunctor is a structure from category theory dual to Functor