Рефле́ктор объе́кта катего́рии, понятие, описывающее «наибольшую» модель данного объекта в некотором классе объектов. А именно, пусть $\mathfrak S$ – подкатегория категории $\mathfrak K$; объект $B\in\mathfrak S$ называется рефлектором объекта $A\in\mathfrak K$ в $\mathfrak S$, или $\mathfrak S$-рефлектором, если существует такой морфизм $\pi:A\to B$, что для любого объекта $X$ из $\mathfrak S$ отображение$$H_X(\pi):H_{\mathfrak S}(B,X)\to H_{\mathfrak K}(A, X)$$биективно. Другими словами, для любого морфизма $\alpha: A\to X$ существует такой единственный морфизм $\alpha':B\to X\in\mathfrak S$, что $\alpha=\pi\alpha'$. $\mathfrak S$-рефлектор объекта $A$ определён неоднозначно, но любые два $\mathfrak S$-рефлектора объекта $A$ изоморфны, $\mathfrak S$-рефлектор левого нуля (инициального объекта) категории $\mathfrak K$ является левым нулём в $\mathfrak S$.

Примеры. В категории групп факторгруппа $G/G'$ произвольной группы $G$ по коммутанту является рефлектором группы $G$ в подкатегории абелевых групп. Для абелевой группы $A$ её факторгруппа $A/T(A)$ по периодической подгруппе $T(A)$ является рефлектором группы $A$ в полной подкатегории абелевых групп без кручения. Пополнение (инъективная оболочка) $\overline A$ группы $A/T(A)$ является рефлектором групп $A$ и $A/T(A)$ в подкатегории полных абелевых групп без кручения.

Обычно рефлекторы рассматриваются в полных подкатегориях. Полная подкатегория $\mathfrak S$ категории $\mathfrak K$, в которой существуют рефлекторы для любых объектов из $\mathfrak K$, называется рефлективной.