3 research outputs found
Multisorted modules and their model theory
Multisorted modules, equivalently representations of quivers, equivalently
additive functors on preadditive categories, encompass a wide variety of
additive structures. In addition, every module has a natural and useful
multisorted extension by imaginaries. The model theory of multisorted modules
works just as for the usual, 1-sorted modules. A number of examples are
presented, some in considerable detail
SOME MODEL THEORY OF SHEAVES OF MODULES
We explore some topics in the model theory of sheaves of modules. First we describe the formal language that we use. Then we present some examples of sheaves obtained from quivers. These, and other examples, will serve as illustrations and as counterexamples. Then we investigate the notion of strong minimality from model theory to see what it means in this context. We also look briefly at the relation between global, local and pointwise versions of properties related to acyclicity