Podkategoria

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ładyEdytuj

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

PrzypisyEdytuj

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

BibliografiaEdytuj

Literatura dodatkowaEdytuj

  • 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.