Рефлективная подкатегория

Рефлекти́вная подкатего́рия, подкатегория, содержащая «наибольшую» модель любого объекта категории. Точнее, полная подкатегория $\mathfrak{S}$ категории $\mathfrak{K}$ называется рефлективной, если $\mathfrak{S}$ содержит $\mathfrak{S}$-рефлектор (см. Рефлектор) для любого объекта категории. Полная подкатегория $\mathfrak{S}$ категории $\mathfrak{K}$ рефлективна тогда и только тогда, когда функтор вложения $\operatorname{Id}_{\mathfrak{S}, \mathfrak{K}}:\mathfrak{S} \rightarrow \mathfrak{K}$ обладает сопряжённым слева функтором $S: \mathfrak{K} \rightarrow\mathfrak{S}$.