 Adjoint functor

An adjunction is a natural bijection $\mathcal{D}(LB,A)\cong \mathcal{C}(B,RA)$.