Abstraction and Application in Adjunction