The free unital ring over the unital semiring $(\mathbb{N}, 0, 1, {+}, {\times})$, or in layperson's terms “just add subtraction”.
Andrej Bauer
- 48.8k
- 11
- 131
- 240