Is formally similar to the defining properties of pairs of adjoint functors in category theory .
This is where adjoint functors got their name from .
is formally similar to the defining properties of pairs of adjoint functors in category theory , and this is where adjoint functors got their name from .