Podkategoria

Kategoria ${\displaystyle {\mathfrak {B}}}$ jest podkategorią kategorii ${\displaystyle {\mathfrak {A}},}$ jeśli spełnione są następujące warunki^[1]:

• Klasa obiektów kategorii ${\displaystyle {\mathfrak {B}}}$ jest zawarta w klasie obiektów kategorii ${\displaystyle {\mathfrak {A}}}$

${\displaystyle Ob({\mathfrak {B}})\subset Ob({\mathfrak {A}}).}$

• Dla dowolnych dwóch obiektów ${\displaystyle A,B\in Ob({\mathfrak {B}})}$

${\displaystyle Mor(A,B)_{\mathfrak {B}}\subset Mor(A,B)_{\mathfrak {A}}.}$

• Dla dowolnych dwóch morfizmów w kategorii ${\displaystyle {\mathfrak {B}}}$

${\displaystyle f\in Mor(A,B)_{\mathfrak {B}},g\in Mor(B,C)_{\mathfrak {B}}}$

ich złożenie ${\displaystyle f\circ g}$ należy do ${\displaystyle Mor(A,C)_{\mathfrak {A}}.}$

• Każdy morfizm identycznościowy w ${\displaystyle {\mathfrak {B}}}$ jest morfizmem identycznościowym w ${\displaystyle {\mathfrak {A}}.}$

Podkategoria ${\displaystyle {\mathfrak {B}}}$ kategorii ${\displaystyle {\mathfrak {A}}}$ jest podkategorią pełną, jeśli dla dowolnych ${\displaystyle A,B\in {\mathfrak {B}}}$

${\displaystyle Mor(A,B)_{\mathfrak {B}}=Mor(A,B)_{\mathfrak {A}}}$^[1].

• Kategoria Ab grup abelowych jest podkategorią pełną kategorii Gr grup.

• Zbigniew Semadeni, Antoni Wiweger: Wstęp do teorii kategorii i funktorów. Warszawa: Państwowe Wydawnictwo Naukowe, 1978.

• Eric W.E.W. Weisstein Eric W.E.W., Subcategory, [w:] MathWorld, Wolfram Research  (ang.). [dostęp 2025-12-04].
• Subcategory (ang.), Encyclopedia of Mathematics, encyclopediaofmath.org [dostęp 2024-04-05].