等式⟨Ax,y⟩=⟨x,A∗y⟩{\displaystyle\langleAx,y\rangle=\langlex,A^{*}y\rangle}は形の上では圏論における随伴対を定義する性質と同じ形をしている。
范畴论中，方程⟨Ax,y⟩=⟨x,A∗y⟩{\displaystyle\langleAx,y\rangle=\langlex,A^{*}y\rangle}形式上类似地定义了伴随函子偶性质，这也是伴随函子得名之由来。