A Cofunctor is a structure from category theory dual to Functor - View it on GitHub