noun
adjoint functors
A pair of functors between two categories that stand in a particular relationship, fundamental in category theory.
自由関手と忘却関手は随伴関手の典型的な例である。
The free functor and the forgetful functor are a typical example of adjoint functors.
Compound of 随伴 (adjoint, accompanying) and 関手 (functor). The term is a direct translation of the English 'adjoint functor' used in category theory.