a category is a collection of mathematical objects of the same kind, together with the structure-preserving processes between them; as in "the category of all topological spaces and continuous maps". These are studied in category theory.

in topology, one distinguishes between sets of first and second category.