Monads and moduli of vector bundles

Horrocks has shown that every vector bundle on ₂ and ₃ admits a certain double-ended resolution by line bundles, which he called a monad. We reprove Horrocks' results taking much care of uniqueness of the monads so obtained. This technique should be useful for constructing moduli spaces of stable vector bundles.