Подкатего́рия, частный случай понятия подструктуры математической структуры. Категория $\mathfrak{L}$ называется подкатегорией категории $\mathfrak{K}$, если $\operatorname{0 b} \mathfrak{L} \subseteq \operatorname{0 b} \mathfrak{K}$,

$$H_{\mathfrak{L}}(A, B)=H_{\mathfrak{K}}(A, B) \cap \operatorname{Mor} \mathfrak{L}$$для любых $A, B \in \operatorname{0 b} \mathfrak{L}$ и произведение морфизмов из $\mathfrak{L}$ совпадает с их произведением в $\mathfrak{K}$. Для каждого подкласса ${\mathfrak{L}}^{\prime}$ класса $\operatorname{Ob} \mathfrak{K}$ существуют наименьшая и наибольшая подкатегории $\mathfrak{L}_1$ и $\mathfrak{L}_2$ категории $\mathfrak{K}$, классы объектов которых совпадают с $\mathfrak{L}^{\prime}$; подкатегория $\mathfrak{L}_1$ содержит только единичные морфизмы объектов из $\mathfrak{L}^{\prime}$ и называется дискретной подкатегорией, порождённой $\mathfrak{L}^{\prime}$; подкатегория $\mathfrak{L}_2$ содержит все морфизмы из $\mathfrak{K}$, начала и концы которых лежат в $\mathfrak{L}^{\prime}$, и называется полной подкатегорией, порождённой $\mathfrak{L}^{\prime}$. Всякая подкатегория $\mathfrak{L}$ категории $\mathfrak{K}$, для которой $H_{\mathfrak{L}}(A, B)=H_{\mathfrak{K}}(A, B)$ для любых $A, B \in \operatorname{Ob}\mathfrak{L}$, называется полной подкатегорией категории $\mathfrak{K}$. Полными подкатегориями являются: подкатегории непустых множеств в категории всех множеств, подкатегории абелевых групп в категории всех групп и т. д. Для малой категории $\mathfrak{D}$ полная подкатегория категории всех контравариантных функторов из $\mathfrak{D}$ в категорию множеств, порождённая основными функторами, изоморфна категории $\mathfrak{D}$. Этот результат позволяет строить пополнение произвольной малой категории пределами и копределами.

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