Finding necessary and sufficient conditions for isomorphism between two semigroups of order-preserving transformations over an infinite domain with restricted range was an open problem in cite{FHQS}. In this paper, we show a proof strategy to answer that question.
Download