Deelcategorie

In de categorietheorie, een abstract deelgebied van de wiskunde, is een deelcategorie van een categorie C een categorie S, waarvan de objecten objecten in C zijn en waarvan de morfismen morfismen in C zijn met dezelfde identiteiten en dezelfde samenstelling van morfismen. Intuïtief is een deelcategorie van C een categorie, die uit C wordt verkregen door daar een aantal van haar objecten en pijlen uit weg te halen, zodat er een nieuwe, kleinere categorie overblijft.

 

Prefix: a b c d e f g h i j k l m n o p q r s t u v w x y z 0 1 2 3 4 5 6 7 8 9

Portal di Ensiklopedia Dunia