<p>We prove that every ordered partial action of an inverse semigroupoid on a partially ordered set admits a universal 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 <i>P</i>-theorem: every <i>E</i>-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.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

A P-theorem for inverse semigroupoids through ordered globalizations

  • Felipe Augusto Tasca,
  • Paulinho Demeneghi,
  • Víctor Marín,
  • Willian Goulart Gomes Velasco

摘要

We prove that every ordered partial action of an inverse semigroupoid on a partially ordered set admits a universal 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.