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

category of inductive groupoids E-unitary semigroups functorially ordered groupoid idempotent inductive groupoids inverse semigroups ordered functors prehomomorphisms semilattice small category

Mathematics Subject Classification ID

Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40) Grothendieck groups (category-theoretic aspects) (18F30) Groupoids (i.e. small categories in which all morphisms are isomorphisms) (20L05) Inverse semigroups (20M18)

Review text

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.

Recommendations

Cites work

Cited in

(18)

This page was built for publication: The geometric theory of inverse semigroups. I: E-unitary inverse semigroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2277583)