Let
C
be a locally small category, and let
F
:
C
→
Set
be a functor. Then, for any object
C
∈
C
, there is a natural bijection:
Nat
(
Hom
C
(
C
,
−
)
,
F
)
≅
F
(
C
)
.