exponential_adjunction