数学 › 圏論・ホモロジー代数 › 随伴関手と随伴関手定理

随伴同値

定義 4.3（「随伴関手と随伴関手定理」§4）

随伴 $F \dashv G$ で、単位 $\eta$ と余単位 $\varepsilon$ がともに自然同型であるものを随伴同値という。

本文で読む（前後の説明と例）→

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。