See first: string diagrams adjunction. monoidal category string diagram polyquiver 2-adjunction Quasi 2-adjunction
