Podkategorie

Kategorie $𝒮$ je podkategorií kategorie $𝒞$, pokud

• objekty kategorie $𝒮$ jsou objekty kategorie $𝒞$
• pro libovolné objekty $X,Y\in 𝒮$ je ${\mathrm{H}\mathrm{o}\mathrm{m}}_{𝒮}(X,Y)\subseteq {\mathrm{H}\mathrm{o}\mathrm{m}}_{𝒞}(X,Y).$
• skládání a jednotky v $𝒮$ jsou stejné jako v $𝒞$.Šablona:Sfn

Šablona:KotvaPodkategorie $𝒮$ je úplná, pokud pro každé $X,Y\in 𝒮$ je ${\mathrm{H}\mathrm{o}\mathrm{m}}_{𝒮}(X,Y)={\mathrm{H}\mathrm{o}\mathrm{m}}_{𝒞}(X,Y).$Šablona:Sfn

Odkazy

Literatura

• Šablona:Citace elektronické monografie

Související člány

• Kategorie (matematika)