# Yoneda embedding

Definition from Wiktionary, the free dictionary

## English[edit]

### Etymology[edit]

Named after the Japanese mathematician Nobuo Yoneda.

### Noun[edit]

**Yoneda embedding** (*plural* **Yoneda embeddings**)

- (category theory) Given category , a
**Yoneda embedding**for this category is a functor such that for any object*A*in , and for any morphism in , where the natural transformation*η*has components . Then . Otherwise, it is a functor such that and for any in , where*η*has components . Then .