WikiDer > Unterkategorie
Deelcategorie
In dem Kategorientheorie, ein abstraktes Unterfeld der Mathematik, ist ein Unterkategorie von a KategorieC eine Kategorie so, deren Objekte Objekte in . sind C sind und von denen die Morphismen Morphismen in C sind mit den gleichen Identitäten und dem gleichen Komposition von Morphismen. Intuitiv ist eine Unterkategorie von C eine Kategorie, die besteht aus C erhält man durch "Entfernen" einiger seiner Objekte und Pfeile