Copresheaf

A functor .