Extending the Ehresmann-Schein-Nambooripad theorem. (Q982210): Difference between revisions

For a set \(X\), let \(\mathcal{PT}_X\) be the monoid of all partial mappings from \(X\) into itself and let \(^+\) be a unary operation on \(\mathcal{PT}_X\) which maps \(\varphi\) on the identity mapping on the domain of \(\varphi\). Let \(\mathcal{PT}^*_X\) be the opposite monoid of \(\mathcal{PT}_X\) and \(^*\) be the operation \(^+\) on \(\mathcal{PT}^*_X\). A semigroup \(S\) is called a two-sided restriction semigroup if 1) \(S\) is isomorphic (via \(\varphi\)) to a subsemigroup of \(\mathcal{PT}_ X\) closed under \(^+\) for some \(X\); 2) \(S\) is isomorphic (via \(\psi\)) to a subsemigroup of \(\mathcal{PT}^*_Y\) closed under \(^*\) for some \(Y\); 3) the semilattices \(\{\varphi^{-1}(s)^+\mid s\in S\}\) and \(\{\psi(s^{-1})^*\mid s\in S\}\) are isomorphic. Let \(S\) and \(T\) be two-sided restriction semigroups then a mapping \(\theta\colon S\to T\) is \((\bullet)\) \((\vee,r)\)-premorphism if \(\theta(st)\leq\theta(s)\theta(t)\), \(\theta(s^+)\leq(\theta(s))^+\) and \(\theta(s^*)\leq(\theta(s))^*\); \((\bullet)\) \((\wedge,r)\)-premorphism if \(\theta(s)\theta(t)\leq\theta(st)\), \((\theta(s))^+\leq\theta(s^+)\) and \((\theta(s))^*=\theta(s^*)\). A \((\wedge,r)\)-premorphism is strong if \(\theta(s)\theta(t)=(\theta(s))^+\theta(st)=\theta(st)(\theta(t))^*\). It is proved a generalization of the Szendrei expansion of inductive groupoids. The category of two-sided restriction semigroups and \((\vee,r\))-premorphisms is isomorphic to the category of inductive categories and ordered functors. The category of two-sided restriction semigroups and ordered \((\wedge,r\))-premorphisms is isomorphic to the category of inductive categories and inductive category prefunctors. The category of two-sided restriction semigroups and strong \((\wedge,r\))-premorphisms is isomorphic to the category of inductive categories and strong inductive category prefunctors. Analogous theorem for inverse semigroups is proved.