随伴の表現

F:C→D, G:D→C はあるとする。

1. 単位η、余単位εとニョロニョロ関係式
2. 自然同型 Φ:D(F-, -)→C(-, G-)
3. Fとη::C^⇒F*G の組が、アンダースライス圏^-/Gの終対象を選択する。
4. Gとε::D^⇒G*F の組が、オーバースライス圏G_/-の始対象を選択する。