Describir: Quantum groups and Lie theory