Vol. 391. Gray, John Walker 
Formal category, theory : Adjointness for 2-categories 
QA169 G72