Timeline for Are there axioms satisfied in commutative rings and distributive lattices but not satisfied in commutative semirings?
Current License: CC BY-SA 4.0
7 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Sep 12, 2020 at 12:31 | vote | accept | Zhen Lin | ||
Sep 11, 2020 at 12:18 | comment | added | Timothy Chow | There's an easy way to remedy the absence from OEIS... | |
Sep 11, 2020 at 2:57 | comment | added | François G. Dorais | Andrej, thank you for alg! It's a really wonderful tool, I wish I had remembered it when I made my suggestion in the comments since I did look at it a while ago but I forgot about it... Thank you for working it out for us! | |
Sep 10, 2020 at 13:15 | comment | added | Andrej Bauer | A square-nilpotent infinitesimal no less. | |
Sep 10, 2020 at 12:43 | comment | added | Peter LeFanu Lumsdaine | The example could perhaps be concisely described as “the three-element semiring {0,1,infinitesimal}”. | |
Sep 10, 2020 at 11:43 | comment | added | Zhen Lin | The example you give is even an affine quantale! Interesting... | |
Sep 10, 2020 at 11:34 | history | answered | Andrej Bauer | CC BY-SA 4.0 |