wiki_research

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

core_semiring (189B)

      1 # Core semiring
      2 
      3 [semiring] of the elements of the form \bottom+x in a [partially_ordered_pre_semiring]
      4 
      5 It is a [semiring] and it is [natural_order].
      6 
      7 Up: [partially_ordered_pre_semiring]