Definition:Yoneda Embedding Functor