စကားဝှက်

adjunction）とは、二つの関手の間の（ある種の双対的な）関係のことである（随伴関係にある関手を持つ関手もあれば、持たない関手もある）。直感的に言えば、二つの相互に関連する圏の間に認められる、弱い同値的な関係のことである。この関係を表す関手のペアを随伴関手と呼び、片方を左随伴、もう片方を右随伴と呼ぶ。随伴の概念・随伴関手