Bernhard Keller: Categorification of acyclic cluster algebras