Text this: Formal Category Theory: Adjointness for 2-Categories