ein Quotient Y von X unter der Operation einer Gruppe G, gegeben durch den G-invarianten Morphismus π : X → Y, der in der betrachteten Kategorie universell ist, d. h. jeder G-invariante Morphismus π′ : X → Z faktorisiert über Y: