Modeling Interaction by Sheaves and Geometric Logic

In this paper we show that, given a family of interacting systems, many notions which are important for expressing properties of systems can be modeled as sheaves over a suitable topological space