反射的部分圏・余反射的部分圏

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

充満部分圏 $\mathcal{A} \subseteq \mathcal{C}$ の包含関手が左随伴 $R : \mathcal{C} \to \mathcal{A}$ をもつとき、 $\mathcal{A}$ を反射的部分圏、 $R$ を反射という。包含関手が右随伴をもつとき余反射的部分圏という。

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

閉包の状態

定義

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

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

これを使っている定理

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