По́лная подкатего́рия, подкатегория $\mathfrak{S}$ категории $\mathfrak{R}$, такая что для любых объектов $A, B$ из $\mathfrak{S}$ выполняется равенство

$$H_{\mathfrak{S}}(A, B)=H_{\mathfrak{R}}(A, B).$$Таким образом, полная подкатегория однозначно определяется классом своих объектов. Обратно, всякий подкласс класса объектов категории $\mathfrak{R}$ однозначно определяет полную подкатегорию, для которой он служит классом объектов: в эту подкатегорию входят те и только те морфизмы, начала и концы которых принадлежат выделенному подклассу. В частности, полная подкатегория, соответствующая единственному объекту $A$, состоит из множества $H_\mathfrak{R}(A, A)$.

Многие важные классы подкатегорий (рефлективные и корефлективные подкатегории, многообразия и т. п.) являются полными подкатегориями.