Multisorted modules and their model theory
Representation Theory
2018-08-01 v1 Logic
Abstract
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.
Cite
@article{arxiv.1807.11889,
title = {Multisorted modules and their model theory},
author = {Mike Prest},
journal= {arXiv preprint arXiv:1807.11889},
year = {2018}
}