The geometric theory of inverse semigroups. I: E-unitary inverse semigroups (Q2277583)

Denote by Ip the category of all inverse semigroups and their homomorphisms. A mapping \(f:S\to T\) between inverse semigroups is called a prehomomorphism if for every x,y\(\in S\) there exists an idempotent \(t\in T\) with \(f(xy)=tf(x)f(y)\). The class of prehomomorphisms is closed under composition, the category of all inverse semigroups and their prehomomorphisms is denoted by Ih. A small category K is called functorially ordered groupoid if every morphism is an isomorphism and there exists a partial ordering on K-morphisms satisfying: a) if \(f\leq f'\), \(g\leq g'\) then \(f\circ g\leq f'\circ g'\) whenever \(f\circ g\) and \(f'\circ g'\) are defined; b) for every morphism \(f:X\to Y\) if \(1_ Z\leq 1_ X\) then there exists exactly one \(f': Z\to V\) with \(f'\leq f\), if \(1_ Z\leq 1_ Y\) then there exists exactly one \(f': V\to Z\) with \(f'\leq f\). If, moreover, \(\{1_ Z\); Z is a K-object\(\}\) is a meet semilattice then K is called an inductive groupoid. A functor \(F:K\to L\) between functorially ordered groupoids is called ordered if it preserves the ordering. If, moreover, K, L are inductive groupoids, and F is an ordered functor preserving meets of the semilattice of identities then F is inductive. The category of inductive groupoids and ordered functors is isomorphic to Ih, the subcategory formed by all inductive functors is isomorphic to Ip. Other properties of inverse semigroups, prehomomorphisms, and functorially ordered groupoids are given. An inverse semigroup S is called E-unitary if for elements f,g,h\(\in S\) with \(f=gh\), \(f=f^ 2\), \(g=g^ 2\) we have \(h=h^ 2\). A construction of inductive groupoids corresponding to E-unitary semigroups is given. Two further papers will apply the results obtained.