  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.
