Congruences on ordered groupoids (Q687635)

A category \(K\) such that each morphism is invertible with an ordering on the \(K\)-morphisms satisfying some axioms is called an ordered groupoid. Ordered groupoids play an important role in the theory of inverse semigroups because every inverse semigroup is described as a special ordered groupoid, see the Ehresmann-Schein Theorem. The aim of this paper is to develop a theory of congruences on ordered groupoids. It proves a First Isomorphism Theorem for ordered groupoids and the generalization of the Munn representation for ordered groupoids. As a consequence it explains a relationship between \(E\)-unitary covers of inverse semigroups and ordered groupoids.