SET : Group MAN : Lie Group TOP : Topological Group GRP : Objects
See http://en.wikipedia.org/wiki/Eckmann-Hilton_argument
See http://en.wikipedia.org/wiki/Eckmann-Hilton_argument