A standard theorem on adjunctions in two variables
arXiv:1902.06074
Abstract
We record an explicit proof of the theorem that lifts a two-variable adjunction to the arrow categories of its domains.
arXiv comment11 pages. Preprints of MPIM http://www.mpim-bonn.mpg.de/preblob/5950 , 2019