Bourbaki, N. (3 de agosto de 1998). «3». Algebra I: Chapters 1-3. Springer Science & Business Media. ISBN978-3-540-64243-5. where the case of finitely generated projective modules is treated. The global sections of sections of a vector bundle over a compact space form a projective module over the ring of smooth functions. All statements for coherent sheaves are true locally.