9
votes
0answers
319 views

Categorification of the integers

I would like to know a natural categorification of the rig of integers $\mathbb{Z}$. This should be a $2$-rig. Among the various notions of 2-rigs, we obviously have to exclude those where $+$ is a ...
2
votes
1answer
221 views

Dual of idempotent semirings

By an idempotent semiring I mean a set equipped with a join-semilattice with bottom structure $(0,+)$ and a multiplicative monoid $(1,\cdot)$ such that the following equations hold: $a \cdot (b + c) ...