A P-theorem for Inverse Semigroupoids through Ordered Globalizations
We prove that every ordered partial action of an inverse semigroupoid on a partially ordered set admits a globalization. This result is used to establish a connection between ordered partial actions of groupoids and a multi-object analogue of McAlister triples. As a consequence, we obtain a multi-object version of the P-theorem: every E-unitary inverse semigroupoid is isomorphic to a semidirect product arising from an ordered partial action of a groupoid on a multi-object version of a semilattice.
math.CT↗