 Adjoint functors

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

In category theory, adjoint functors are a fundamental concept that describes a particular relationship between two categories.