$\beta$ reduction equational equality
The following morphism and commuting morphisms explain why those two equations hold:

$h:c\rightarrow b^a$  

commuting morphisms:   

$eval: b_a\times a\rightarrow b$
$f:c\times a\rightarrow b$
$h\times id: c\times a\rightarrow b^a\times a$