Adjoint functors
= Adjoint functors
{title2=$L\dashv R$}
{wiki}
= Adjoint functor
{synonym}
= Adjunction
{synonym}
= Left adjoint
{synonym}
= Right adjoint
{synonym}
An adjunction is a natural bijection $\mathcal D(LB,A)\cong\mathcal C(B,RA)$.