Biadjunctions

As a direct consequence of our strict biadjoint triangle theorem, we give the construction (due to Lack) of the left 2-adjoint to the inclusion of the strict algebras into the pseudoalgebras. In the last section, we give two brief applications on lifting biadjunctions and pseudo-Kan extensions..