#
nLab

restricted Yoneda embedding

Restricted Yoneda embedding
# Restricted Yoneda embedding

## Definition

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

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

of the ordinary Yoneda embedding of $C$ with the restriction functor $i^\ast$ along $i$.

## Related pages

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