Meadows are algebraic structures similar to rings, but they allow division by zero. These structures were introduced by J. Bergstra and his co-authors in a series of papers within the context of computer science. In this talk, we will explore meadows from an algebraic perspective. In particular, we will demonstrate that they can be identified with labelled lattices.
Given this identification, we have investigated a relationship with sheaves of rings over a topological space. We have indeed proven that every sheaf can be viewed as a meadow. Additionally, using tools from sheaf theory, we were able to associate a meadow with a sheaf, establishing an equivalence.
|