adjunction in 2-cat

Let be categories and adjoints. Then the natural isomorphism

is said to be the adjunction

Note that by stating definitions we get for

and commuting diagrams

where for

is the short notation for

and analogously for

by taking definitions