# Sheaf theory

In mathematics, a sheaf is a tool for systematically tracking data (such as sets, abelian groups, rings) attached to the open sets of a topological space and defined locally with regard to them. For example, for each open set, the data could be the ring of continuous functions defined on that open set. Such data is well behaved in that it can be restricted to smaller open sets, and also the data assigned to an open set is equivalent to all collections of compatible data assigned to collections of smaller open sets covering the original open set. (Intuitively, every piece of data is the sum of its parts.)

## Quotes

* 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.
** Masaki Kashiwara; Pierre Schapira (1 May 2002). Sheaves on Manifolds: With a Short History. Springer Science & Business Media. p. 1. ISBN 978-3-540-51861-7.

## External links

Mathematics :
| Mathematicians (by country) | Abel • Anaxagoras • Archimedes • Aristarchus of Samos • Averroes • Arnold • Banach • Cantor • Cartan • Chern • Cohen • Descartes • Diophantus • Erdős • Euclid • Euler • Fourier • Gauss • Gödel • Grassmann • Grothendieck • Hamilton • Hilbert • Hypatia • Lagrange • Laplace • Leibniz • Milnor • Newton • von Neumann • Noether • Penrose • Perelman • Poincaré • Pólya • Pythagoras • Riemann • Russell • Schwartz • Serre • Tao • Tarski • Thales • Turing • Weil • Weyl • Wiles • Witten |
| Numbers | 1 • 23 • 360 • e • π • Fibonacci numbers • Irrational number • Negative number • Number • Prime number • Quaternion • Octonion |
| Concepts | Abstraction • Algorithms • Axiomatic system • Completeness • Deductive reasoning • Differential equation • Dimension • Ellipse • Elliptic curve • Exponential growth • Infinity • Integration • Geodesic • Induction • Proof • Partial differential equation • Principle of least action • Prisoner's dilemma • Probability • Randomness • Theorem • Topological space • Wave equation |
| Results | Euler's identity • Fermat's Last Theorem |
| Pure math | Abstract algebra • Algebra • Analysis • Algebraic geometry (Sheaf theory) • Algebraic topology • Arithmetic • Calculus • Category theory • Combinatorics • Commutative algebra • Complex analysis • Differential calculus • Differential geometry • Differential topology • Ergodic theory • Foundations of mathematics • Functional analysis • Game theory • Geometry • Global analysis • Graph theory • Group theory • Harmonic analysis • Homological algebra • Invariant theory • Logic • Non-Euclidean geometry • Nonstandard analysis • Number theory • Numerical analysis • Operations research • Representation theory • Ring theory • Set theory • Sheaf theory • Statistics • Symplectic geometry • Topology |
| Applied math | Computational fluid dynamics • Econometrics • Fluid mechanics • Mathematical physics • Science |
| History of math | Ancient Greek mathematics • Euclid's Elements • History of algebra • History of calculus • History of logarithms • Indian mathematics • Principia Mathematica |
| Other | Mathematics and mysticism • Mathematics education • Mathematics, from the points of view of the Mathematician and of the Physicist • Philosophy of mathematics • Unification in science and mathematics |