Categorical quotient
GIT quotient
mathematical construction that produces, given a reductive group G acting on an equivariant invertible sheaf over a variety X, a quotient scheme X⫽G and a morphism from an open subscheme (of semistable points): Xˢˢ → X⫽G