随ずい伴はん関かん手しゅ

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.