Categorification of integrable representations of quantum groups - Hao Zheng (2008)