Bénabou's theorem for pseudoadjunctions
Dostál, Matěj
Original · 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 η.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.