定義
C と D を局所的に小さい圏(過去スレ017の343)とする。
F：C → D、G：D → C を関手とする。
η：1_C → GF と ε：FG → 1_D を自然変換とし、
次の条件(＊)を満たすとする。

(＊) (Gε)(ηG) = 1_G かつ (εF)(Fη) = 1_F

このとき、(F, G, η, ε) を随伴状況と呼ぶ。