Definition:Covariant Yoneda Functor