Categorification of integrable representations of quantum
Kac--Moody algebras is a relatively well-developed subject
nowadays, which has found several applications, in particular to
low-dimensional topology. The story outside of the integrable
world...