A new take on sheaves
 
 
Description: 

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.

Date:  2024-10-16
Start Time:   15:00
Speaker:  João Dias (Univ. Évora)
Institution:  Universidade de Évora
Place:  Room 2.4 (DM)
Research Groups: -Algebra and Combinatorics
See more:   <Main>  
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support