In the language of category theory, topological groups can be defined concisely as group objects in the category of topological spaces, in the same way that ordinary groups are group objects in the category of sets.
V jazyku teorie kategorií, topologické grupy se definují jako grupové objekty v kategorii topologických prostorů, podobně jako běžné grupy jsou grupové objekty v kategorii množin.