A topological group is a set with a topological structure, and a group structure.An Abelian topological group is a topological group whose group structure is Abelian.The category of Abelian groups is much nicer than the category of groups.The category of topological Abelian groups is not an Abelian category.