Definition:Embedding Functor