(Se puede demostrar que es equivalente a requerir solamente que sea función continua.) La composición de dos tales homomorfismos es otra vez un homomorfismo, y la clase de todos los grupos de Lie (reales o complejos), junto con estos morfismos, forma una categoría.