A diagrammatic approach to categorification of quantum groups I

Understand

To each graph without loops and multiple edges we assign a family of rings.

• Categories of projective modules over these rings categorify $U^-_q(\mathfrak{g})$, where $\mathfrak{g}$ is the Kac-Moody Lie algebra associated with the graph.