Kategoria jest podkategorią kategorii jeśli spełnione są następujące warunkiSemadeni, Wiweger, op. cit., s. 24.: Klasa obiektów kategorii jest zawarta w klasie obiektów kategorii
Dla dowolnych dwóch obiektów
Dla dowolnych dwóch morfizmów w kategorii
ich złożenie należy do Każdy morfizm identycznościowy w jest morfizmem identycznościowym w
Podkategoria kategorii jest podkategorią pełną, jeśli dla dowolnych .
Przykłady Kategoria Ab grup abelowych jest podkategorią pełną kategorii Gr grup.
Zobacz też
Przypisy
Bibliografia
Linki zewnętrzne [dostęp 2025-12-04]. Subcategory , Encyclopedia of Mathematics, encyclopediaofmath.org [dostęp 2024-04-05].
Kategoria:Teoria kategorii