Pretty insane that *13 YEARS* passed between General Theory of Natural Equivalences (introducing CT) and Kan's original Adjoint Functors paper.