Formal category theory: adjointness for 2-categories | lit.salon