ABSTRACT
We use ordered categories to study semidirect decompositions of finite ordered semigroups. We obtain ordered analogues of the derived category theorem and of the delay theorem. Next we prove that the ordered analogues of semilattices and of -trivial monoids constitute local varieties, and we derive some decomposition theorems from these results.
ACKNOWLEDGMENTS
The authors would like to thank the anonymous referee for his many suggestions, which led to a significant improvement of the paper.
Notes
Work supported by the INTAS project 1224