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 een aantal van haar objecten en pijlen te "verwijderen"