2018/07/31 by Prest, Mike
#03C60 #16D90 #16G20 #18E05 #FOS: Mathematics #Logic (math.LO) #Representation Theory (math.RT)
paper · doi:10.48550/arxiv.1807.11889
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.