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)
Iterated sums and iterated integrals over semirings, where the case of tropical semiring is a central, with applications (including in machine learning),
changed higher algebra - contents to algebra - contents in context sidebar
Anonymouse
1 to 6 of 6