Skip to main content
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