Adjoint functors (source code)

= 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)$.