Podkategorie

Kategorie ${\mathcal {S}}$ je podkategorií kategorie ${\mathcal {C}}$, pokud

• objekty kategorie ${\mathcal {S}}$ jsou objekty kategorie ${\mathcal {C}}$
• pro libovolné objekty $X,Y\in {\mathcal {S}}$ je $\mathrm {Hom} _{\mathcal {S}}(X,Y)\subseteq \mathrm {Hom} _{\mathcal {C}}(X,Y).$
• skládání a jednotky v ${\mathcal {S}}$ jsou stejné jako v ${\mathcal {C}}$.

Podkategorie ${\mathcal {S}}$ je úplná, pokud pro každé $X,Y\in {\mathcal {S}}$ je $\mathrm {Hom} _{\mathcal {S}}(X,Y)=\mathrm {Hom} _{\mathcal {C}}(X,Y).$

Odkazy

Literatura

• STARÝ, Jan, 2024. Úvod do teorie kategorií [online]. 2024-04-05 [cit. 2024-09-21]. Dostupné online. 

Související člány

• Kategorie (matematika)

Portály: Matematika