Yoneda product (source code)

= Yoneda product
{wiki=Yoneda_product}

The Yoneda product is a construction in category theory that arises in the context of the Yoneda Lemma. More specifically, it is related to the notion of representing functors through the use of hom-sets and is often seen in the study of adjoint functors and natural transformations.