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, ...