定義
(F, G, ψ) を随伴状況(>>362)とする。
>>411の自然変換 η：1_C → GF を随伴状況 (F, G, ψ) の単位(unit)と呼ぶ。