Podkategoria

Z Wikipedii, wolnej encyklopedii
Przejdź do nawigacji Przejdź do wyszukiwania

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[edytuj | edytuj kod]

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

Przypisy[edytuj | edytuj kod]

  1. a b Semadeni, Wiweger, op. cit., s. 24

Bibliografia[edytuj | edytuj kod]

  1. Semadeni Z., Wiweger A.: Wstęp do teorii kategorii i funktorów. Warszawa: PWN, 1978.
  2. Eilenberg S., Mac Lane S.. „Trans. Amer. Math. Soc.”. 58, s. 231-294, 1945. Amer. Math. Soc.. 
  3. Bucur I., Deleanu A.: Introduction to the Theory of Categories and Functors (tłum. ros.). Москва: Мир, 1972.
  4. Gabriel P., Zisman M.: Calculus of Fractions and Homotopy Theory (tłum. ros.). Москва: Мир, 1971.