Definition:Covariant Representable Functor