  We show that the categories of compact Lie groups and complex reductive
groups (not necessarily connected) are homotopy equivalent topological
categories. In other words, the corresponding categories enriched in the
homotopy category of topological spaces are equivalent. This can also be
interpreted as an equivalence of infinity categories.
