Lemma. full and faithful [kostecki2011introduction, 4.8] [tt-002X]

The Yoneda embedding functor \(\mathscr {H}_{\bullet }: {\cal C} \to [{\cal C}^{op}, \mathbf {Set}]\) is full and faithful.