Ehresmann monoids: Adequacy and expansions

Fixing T, Y and the actions, we characterise P(T,Y) as being unique in the sense that it is the initial object in a suitable category of Ehresmann monoids. We also prove that the operator P defines an expansion of Ehresmann monoids.