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 ...

Let $(S,+)$ be a commutative semigroup. For $a,b\in S$ consider the equation $a=a+b$. Does such a relation between the given $a$ and $b$ have a name? I am currently using such equations quite often ...

Is there a moduli space in semialgebraic geometry analogous to the Hilbert scheme in algebraic geometry?
The sort of thing I am imagining is an object in a category of semischemes:
Ordinary schemes ...

I would like to identify a representation of the subcategory of a comma category of semi-rings, whose objects are abelian group objects.
When attempting to identify the representation, the following ...

Solving linear systems appears hard in semirings.
In $\mathbb{N}_0 (+,\times)$ it is NP-complete via reduction to 1-in-3 SAT.
In the min-plus semiring the complexity is $ NP \cap coNP$ according to ...

If I start with a commutative rig, and apply the Grothendieck Group construction to it, twice, once to the additive structure and once to the multiplicative structure, is the result well-known? Does ...

Let $S$ be a commutative semiring with identity such that each prime ideal of $S$ is subtractive. Does this imply all ideals of $S$ to be subtractive?
By a commutative semiring with identity I mean ...

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) ...

In Mikhalkin's unfinished draft book on tropical geometry, (available here) (page 26) he defines a notion of tropical schemes. It seems to me that this definition is not just a wholesale adaptation of ...