Podkategoria
![]() | Ten artykuł należy dopracować: → napisać/poprawić definicję, → poprawić styl – powinien być encyklopedyczny. Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu. |
Kategoria jest podkategorią kategorii jeśli spełnione są następujące warunki[1]:
- 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
- [1].
Przykłady
- Kategoria Ab grup abelowych jest podkategorią pełną kategorii Gr grup.
Przypisy
Bibliografia
- Zbigniew Semadeni, Antoni Wiweger: Wstęp do teorii kategorii i funktorów. Warszawa: Państwowe Wydawnictwo Naukowe, 1978.
Literatura dodatkowa
- Eilenberg S., Mac Lane S. „Trans. Amer. Math. Soc.”. 58, s. 231–294, 1945. Amer. Math. Soc..
- Bucur I., Deleanu A.: Introduction to the Theory of Categories and Functors (tłum. ros.). Москва: Мир, 1972.
- Gabriel P., Zisman M.: Calculus of Fractions and Homotopy Theory (tłum. ros.). Москва: Мир, 1971.
Linki zewnętrzne
Subcategory (ang.), Encyclopedia of Mathematics, encyclopediaofmath.org [dostęp 2024-04-05].
- p
- d
- e
Teoria kategorii
Podstawowe pojęcia |
|
---|---|
Granice i kogranice |
|
Konstrukcje na kategoriach |
|