identity-fixing monotone (in the prefix relation, a partial preorder) maps of cancellative monoids. It is possible to use them as a model of abstract sequential

identity-fixing monotone (in the prefix relation, a partial preorder) maps of cancellative monoids. It is possible to use them as a model of abstract sequential computation, so they can be used for applications such as mathematical models of compilers, parsers, ... http://mathoverflow.net/questions/251059/what-is-the-real-name-of-this-relation-and-operation-on-a-particular-set-of-maps http://mathoverflow.net/questions/251059/what-is-the-real-na...