Normal Bands and Their Inverse Semigroups of Bicongruences

FitzGerald, D. G.

doi:10.1006/jabr.1996.0337

Cited by 1 publication

(2 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Since the dual of a free category is also free, any general study of dual symmetric groupoids for such categories must reduce to studying their symmetric groupoids. (For studies of dual symmetric inverse monoids, see [2,3,23].) Symmetric groupoids of objects in free categories and the inverse monoids they almost induce are considered in §4.…”

Section: Theorem 210 Let (Mx) Be a Small Monocontext Let Gx Be Thmentioning

confidence: 99%

See 1 more Smart Citation

Symmetric groupoids, free categories andE*-unitary inverse monoids

Leech

1999

Proceedings of the Royal Society of Edinburgh: Section A Mathem

View full text Add to dashboard Cite

Symmetric groupoids which classify the monomorphism contexts of objects in arbitrary categories are studied, along with their connections to symmetric inverse monoids and symmetric inverse algebras. Particular attention is given to symmetric groupoids of objects in free categories and to the inverse algebras induced from them by 0-closure. These graph algebras generalize both the class of polycyclic semigroups and the class of combinatorial u>-semigroups with adjoined zeros. Since all such algebras are -E*-unitary, an analogue of McAlister's theory of .E-unitary inverse monoids is developed for a special class of £*-unitary inverse monoids and then illustrated on the class of graph algebras.Symmetric groupoids, free categories and inverse monoids 961 w-semigroups with adjoined zeros. Their algebraic properties are studied in terms of the generating graphs of their ambient categories throughout § §4 and 5.Section 5 is concerned with £"*-unitary inverse monoids, of which graph algebras are instances. Just as i?-unitary inverse monoids arise as the symmetric inverse monoids of objects in cancellative categories having finite intersections, so E*unitary inverse monoids arise in cancellative categories having conditional intersections which, like free categories, must be augmented by initial objects to obtain finite intersections. Equivalently, i?*-unitary inverse monoids arise as O-completions of what might be termed 'is-unitary' groupoids, but are perhaps more appropriately termed 'fixed point free' groupoids. Of special interest is a class of i?*-unitary inverse monoids which possesses a modified McAlister theory, or better, a hybrid McAlister-Rees theory. While details are perhaps best reserved for later, suffice it to say that this theory is amply illustrated in the case of graph algebras. Contexts and symmetric groupoidsDEFINITION 2.1. A groupoid is any small category G of isomorphisms. Given any morphism fi of G, its domain identity is d(n) = \i~ 1 fi, and its co-domain identity (or range identity) is r(/i) = fifJ.' 1 -An ordered groupoid is firstly any pair (G, ^) where G is a groupoid and î s a partial ordering of the isomorphisms compatible with both composition and inversion. That is, given \i ^ v and a ^ r in G, then [ia ^ VT. provided fia and VT exist in G, and also /i^1 ^ v~l. This ordering induces an ordering of the objects of G given by:and r(/i) ^ r(v) and hence both dom(/z) ^ dom(^) and cod(/i) ^ cod(V), where dom and cod denote the domain and co-domain of the respective morphisms.Secondly, given any morphism v and any object A in an ordered groupoid (G, ^), the following equivalent assertions are assumed to hold:

show abstract

Section: Theorem 210 Let (Mx) Be a Small Monocontext Let Gx Be Thmentioning

confidence: 99%

“…(For studies of dual symmetric inverse monoids, see [2,3,23].) Everything occurring in this section, and the next, can be dualized to epicontexts and episettings.…”

Section: Introductionmentioning

confidence: 99%

Symmetric groupoids, free categories andE*-unitary inverse monoids

Leech

1999

Proceedings of the Royal Society of Edinburgh: Section A Mathem

View full text Add to dashboard Cite

show abstract

Normal Bands and Their Inverse Semigroups of Bicongruences

Cited by 1 publication

References 11 publications

Symmetric groupoids, free categories andE*-unitary inverse monoids

Symmetric groupoids, free categories andE*-unitary inverse monoids

Contact Info

Product

Resources

About