Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Trivial edit to start discussion.
What’s happening at the start here? We have both tropical rig and semiring defined. The latter is given with the extension by . Is this just duplication with a mistake?
At semiring having given 4 definitions, it says
The nLab uses the second definition to define a semiring, and the fourth definition to define a rig. The first and third are then called nonunital semirings and nonunital rigs respectively.
Do we really have this as a policy?
Do we really have this as a policy?
Of course not. But best to take this to the discussion in the thread on “semiring”.
I have touched the typesetting of the example (here)
1 to 4 of 4