Covering morphisms in categories of relational algebras (Q2254582): Difference between revisions

Professor George Janelidze posed the problem whether the study of classical topological coverings via categorical Galois Theory could be extended to the setting of relational algebras (see, e.g., [\textit{G. Dzhanelidze}, J. Algebra 132, No. 2, 270--286 (1990; Zbl 0702.18006)]. It is the purpose of this paper to give a first contribution to the investigation of coverings in the realm of relational algebras. In particular the authors obtain new characterizations for effective descent maps in the categories of \(M\)-ordered sets, for a given monoid \(M,\) and of multi-ordered sets.