TY - BOOK AU - Gray John W TI - Formal category theory : Adjointness for 2-categories U1 - B265, L4 PY - 1974/// ER -