We use ordered categories to study semidirect decompositions of finite ordered semigroups. We obtain ordered analogues of the derived semigroupoid theorem and of the delay theorem. Next we prove that the ordered analogues of semilattices and of J-trivial monoids constitute local varieties, and we derive some decomposition theorems from these results.