Hyperbolicity of the complex of free factors

We develop the geometry of folding paths in Outer space and, as an application, prove that the complex of free factors of a free group of finite rank is hyperbolic.