Локализа́ция в катего́риях, специальная конструкция, связанная со специальными радикальными подкатегориями; она впервые появилась в абелевых категориях для описания т. н. категорий Гротендика с помощью категорий модулей над ассоциативными кольцами с единицей. Пусть $\mathfrak{A}$ – абелева категория. Полная подкатегория $\mathfrak{A}$ категории $\mathfrak{A}$ называется плотной, если она содержит все подобъекты и факторобъекты своих объектов и замкнута относительно расширений, т. е. в точной последовательности$$0 \rightarrow A \rightarrow B \rightarrow C \rightarrow 0$$$B \in O b \mathfrak{A}^\prime$ тогда и только тогда, когда $A$, $C \in \mathfrak{A}^{\prime}$. Факторкатегория $\mathfrak{A} / \mathfrak{A}^\prime$ строится следующим образом. Пусть $(R, \mu]$ – подобъект прямой суммы $A \oplus B\left(\pi_1, \pi_2\right)$, где $\pi_1$, $\pi_2$ – проекции, и пусть квадрат$$\begin{CD} R@>{\mu \pi_2} >>B \\ @V{\mu \pi_1}VV @VV{\beta}V\\ A@>>a> C \end{CD}$$коуниверсален. Подобъект $(R, \mu]$ называется $\mathfrak{A}^\prime$-подобъектом, если $\operatorname{Coker }\mu \pi_1$, $\operatorname{Ker} \beta \in \mathrm{Ob} \mathfrak{A}^\prime$. Два $\mathfrak{A}^\prime$-подобъекта эквивалентны, если они содержат некоторый $\mathfrak{A}^\prime$-подобъект. Множество $H_{\mathfrak{A} / \mathfrak{A}^\prime}(A, B)$ состоит, по определению, из классов эквивалентных $\mathfrak{A}^\prime$-подобъектов прямой суммы $A \oplus B$. Обычное умножение бинарных отношений в абелевой категории согласовано с введённой эквивалентностью, что позволяет определить факторкатегорию $\mathfrak{A} / \mathfrak{A}^\prime$. Эта факторкатегория оказывается абелевой категорией. Точный функтор $T: \mathfrak{A} \rightarrow \mathfrak{A} / \mathfrak{A}^{\prime}$ можно задать, сопоставляя каждому морфизму $\alpha: A \rightarrow B$ его график в $A \oplus B$. Подкатегория $\mathfrak{A}^{\prime}$ называется подкатегорией локализации, если функтор $T$ обладает полным сопряжённым справа функтором $S: \mathfrak{A} / \mathfrak{A}^{\prime} \rightarrow \mathfrak{A}$. Подкатегория локализации всегда является подкатегорией всех радикальных объектов некоторого наследственного радикала.

В категории абелевых групп подкатегория всех периодических групп есть подкатегория локализации. Факторкатегория любой категории модулей по подкатегории локализации является категорией Гротендика. Обратно, всякая категория Гротендика эквивалентна некоторой факторкатегории подходящей категории модулей.

Понятие подкатегории локализации можно определить и для неабелевых категорий (Шульгейфер. 1968). Однако в неабелевом случае таких подкатегорий обычно мало. Например, в категории всех ассоциативных колец имеется только две тривиальные подкатегории локализации – вся категория и её полная подкатегория, содержащая только нулевые кольца.