Abstract
We generalize the constructions of layered domains† to layered semirings, in order to enrich the structure, and in particular to provide finite examples for applications in arithmetic. The layered category theory is extended accordingly, to cover noncancellative monoids, which are examined in their own right.
2010 Mathematics Subject Classification:
Notes
Communicated by M. Cohen.