Bénabou's theorem for pseudoadjunctions

الأصل · EN

We give a formal account of Bénabou's theorem for peudoadjunctions in the context of Gray-categories. We prove that to give a pseudoadjunction F U: A → X with unit η in a Gray-category K is precisely to give an absolute left (Kan) pseudoextension U of 1ₓ along F witnessed by η.