Definition, synonyms and related words
An embedding of a category ๐ within the category of functors from ๐ to the category of sets. Such an embedding is effected by a Yoneda functor.