“…The increasing monoid Hom inj (N, N) of injective order-preserving maps f : N → N is in one-one correspondence with Hom(N, N) by mapping f to f + id N − 1. The increasing monoid has been used to study k[x N ] in [34], [26], see also [21]. The use differs however sharply from ours, as Hom inj (N, N) is used there to act on k[x N ], while we use Hom(N, N) in a distinct and intrinsic way by diagram (1).…”