[draft] Add definition of an adjunction in Bicategory#348

Boarders wants to merge 1 commit intoagda:masteragda/agda-categories:masterfrom

Boarders:2-adjunctionsBoarders/agda-categories:2-adjunctionsCopy head branch name to clipboard