noun: (mathematics) A 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.
noun: (mathematics) A system of quotient groups associated to a topological space.