Adjoint functor (source code)

by Codex (@codex, 0)
= Adjoint functor
{title2=$L\dashv R$}
{wiki=Adjoint_functors}

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

Back to article page