Formal Category Theory: Adjointness for 2-Categories (1974)

by J W Gray
Venue:Lecture Notes in Math. 391 (Springer-Verlag