Bridging meadows and sheaves

Abstract

We bridge sheaves of rings over a topological space with common meadows (algebraic structures where the inverse for multiplication is a total operation). More specifically, we show that, given a topological space X, the subclass of pre-meadows with a, coming from the lattice of open sets of X, and the class of presheaves over X are the same structure. Furthermore, we provide a construction that, given a sheaf of rings F on X, produces a common meadow as a disjoint union of elements of the form F(U) indexed over the open subsets of X. As a consequence, we see that the process of going from a presheaf to a sheaf (called sheafification) allows us to get a way to construct a common meadow from a given pre-meadow as above.