A method of contravariantly associating a family of invariant groups to each algebraic or geometric object of a category, including categories of geometric and algebraic objects.
(quote-book)
A system of groups associated to a space.