Quillen_adjunction loading ...