wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

pops_examples (328B)

      1 # POPS examples
      2 
      3 - [boolean_semiring]: [semiring], [natural_order]
      4 - [natural_number]: [semiring], [natural_order]
      5 - [tropical_semiring]: [semiring], [natural_order]
      6 - the [reals] with an extra element that means "undefined"
      7   - undefined is smaller than everything
      8   - not [natural_order]
      9 
     10 Up: [partially_ordered_pre_semiring]