Isomorphic realization of any submonoid of F by Px

Establish that for every submonoid A of the monoid F (the set of all functions f : [0, ∞) → [0, ∞) under composition), there exists a subclass X of the class M of metric spaces such that Px and A are isomorphic submonoids with respect to composition and identity.

Background

Earlier results show Px is always a submonoid of F and characterize when Px = A is solvable for A ⊆ PM. Example 28 demonstrates that not every submonoid of F can be realized exactly as Px, indicating constraints on equality.

Conjecture 33 proposes that, despite such constraints, any submonoid of F can still be realized up to isomorphism as a Px for some class X, thereby generalizing the realization problem from exact equality to structure-preserving equivalence.

References

Conjecture 33. For every submonoid A of the monoid F there exists X CM such that Px and A are isomorphic submonoids.

On monoids of metric preserving functions  (2404.13280 - Bilet et al., 2024) in Section 5, Conjecture 33