Category talk:Topology of Lie groups