??some of our analogies between the toric and non-toric cases as maybe suggesting idea of considering coproduct of abelian categories ??? .... ?? but ... ??? whether that might be too weird ??? .... ???? .....

__a-module_-module_ + __b-module_-module_ = __[a+b]-module_-module_ ??

?? ...

_x-module_ + _y-module_ =?= _[xXy]-module_ ????????......

???module algebroid of empty algebroid ??? .... ???as empty algebroid again ... ???.... ?????problem here????

???cauchy completion of empty algebroid ... ????..... ???as containing zero object ???? ....... ????......

????initial abelian category ????? ......??????......

???try to straighten this out .... ????.....

??neglected to mention fp-ness of all (??) modules here ... ??...