Ehresmann semigroups have emerged as an interesting class [1]}, [2]}, [3]}, [4]}.
In particular,
they are closely allied to categories in two ways.
First of all, underlying every Ehresmann semigroup is a category.
The following was proved as [5]}.
