Lie theory and representation theory