Yoneda preserves cartesian exponentiation