1.NounA method of contravariantly associating a family of invariant quotient groups to each algebraic or geometric object of a category, including categories of geometric and algebraic objects.
2.NounA system of quotient groups associated to a topological space.