If, is representable by some object, and also has finite coproducts, then we can identify natural transformations with morphisms by the Yoneda lemma.
We can identify with, where is regarded as an object in the opposite category.