What is higher Lie theory?