The free functor generated by F. The Yoneda lemma says that
Yoneda[F,A] is isomorphic to F[A] for any functor F.
The homomorphism from Yoneda[F,A] to F[A] exists even when
we have forgotten that F is a functor.
Can be seen as a partially applied map for the functor F.
The free functor generated by
F
. The Yoneda lemma says thatYoneda[F,A]
is isomorphic toF[A]
for any functorF
. The homomorphism fromYoneda[F,A]
toF[A]
exists even when we have forgotten thatF
is a functor. Can be seen as a partially appliedmap
for the functorF
.