随伴関手

圏論において、左随伴関手と右随伴関手の関係は非常に重要である。

自由群を構成する操作は、忘却関手の左随伴関手として理解できる。

随伴関手の対が存在することは、二つの圏の間に深い関連があることを示している。