Corollary 2.3. Assuming that:

$C$ a locally small category

Then

A \mapsto C (A, ∙)

is a full and faithful functor

C^{o p} \to [C, S e t]

.