"The purpose of sheaf theory is quite general: it is to obtain global information from local information, or else to define “obstructions” which characterize the fact that a local property does not hold globally any more: for example a manifold is not always orientable, or a differential equation can be locally solvable, but not globally."