Embedding (functor)

cosmos 11th November 2017 at 12:53pm
Functor

See here

An example is the Yoneda embedding