Ordered Ehresmann semigroups and categories. - Stokes, T. (Communications in Algebra, 2022)