nLab
restricted Yoneda embedding

Restricted Yoneda embedding

Restricted Yoneda embedding

Definition

For any functor i:ACi:A\to C (often the inclusion of a full subcategory), the restricted Yoneda embedding is the composite

C[C op,Set]i *[A op,Set] C \hookrightarrow [C^{op},Set] \xrightarrow{i^\ast} [A^{op},Set]

of the ordinary Yoneda embedding of CC with the restriction functor i *i^\ast along ii.

Created on December 30, 2018 at 01:28:28. See the history of this page for a list of all contributions to it.