Подкатего́рия Се́рра, ненулевая полная локально малая подкатегория $\mathfrak{S}$ абелевой категории $\mathfrak{A}$, такая, что для каждой точной последовательности

$$0 \rightarrow A \rightarrow B \rightarrow C \rightarrow 0$$в $\mathfrak{A}$ верно, что $B \in \mathfrak{S}$ эквивалентно $A \in \mathfrak{S}$ и $C \in \mathfrak{S}$. Локальная малость категории есть условие: совокупность представителей классов эквивалентных подобъектов любого объекта составляет множество. Подкатегорию Серра можно охарактеризовать как ядро точного функтора в категории $\mathfrak{A}$.

Подкатегория Серра позволяет определить факторкатегорию $\mathfrak{A} / \mathfrak{S}$, объектами которой являются объекты категории $\mathfrak{A}$, а морфизмы определяются равенством

$$\operatorname{Mor}_{\mathfrak{A} / \mathfrak{S}} (X,Y) = \underset{\longrightarrow}{\lim}_{Y', X/X'\in \mathfrak{S}}\operatorname{Mor}_{\mathfrak{A}} (X',Y/Y').$$Факторкатегория $\mathfrak{A} / \mathfrak{S}$ является абелевой.

Подкатегория Серра называется локализующей, если канонический функтор $T: \mathfrak{A} \rightarrow \mathfrak{A} / \mathfrak{S}$ имеет правый сопряжённый функтор $S: \mathfrak{A}/ \mathfrak{S}\rightarrow \mathfrak{A}$, называемый функтором сечений. Если $\mathfrak{A}$ – категория Гротендика, обладающая копроизведениями, то локализующий функтор существует. Таким образом, получается обобщение классической теории локализации модулей над коммутативным кольцом. Этот метод охватывает многочисленные конструкции колец частных и теории кручений (радикалов) модулей над ассоциативными кольцами.

Понятие «подкатегория Серра» было введено Ж.-П. Серром (Serre. 1953) и названо им классом. Используя это понятие, он получил далеко идущее обобщение теоремы Гуревича (см. в статье Гомотопическая группа).