F[A] converts to Yoneda[F,A] for any functor F
F[A]
Yoneda[F,A]
F
Yoneda[F,_] is a functor for any F
Yoneda[F,_]