biadjunctions

English

Noun

biadjunctions

1. plural of biadjunction
   • 2016, Fernando Lucatelli Nunes, “On biadjoint triangles”, in Theory and Applications of Categories‎^[1], volume 31:

     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..