Simple function composition.
Simple function composition. Allows map fusion without touching
the underlying F
.
Converts to F[A]
given that F
is a functor
Coyoneda[F,_]
is the left Kan extension of F
along Id
Converts to Yoneda[F,A]
given that F
is a functor
Alias for run
.
Alias for run
.
The dual view of the Yoneda lemma. Also a free functor on
F
. This is isomorphic toF
as long asF
itself is a functor. The homomorphism fromF[A]
toCoyoneda[F,A]
exists even whenF
is not a functor.