Groupoids, idempotents and pointwise inverses in relational categories (Q760494)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Groupoids, idempotents and pointwise inverses in relational categories |
scientific article |
Statements
Groupoids, idempotents and pointwise inverses in relational categories (English)
0 references
1985
0 references
The authors' summary: ''In this paper we investigate idempotents and regular elements of Dedekind categories (these appear to be a proper axiomatic framework for establishing certain aspects of binary relational categories. Classical techniques (using preorders and Green's equivalences) are replaced by techniques which use categories with adapted objects (idempotents), unities and universes. We extensively invesitigate the links between the groupoid of invertible elements in an idempotent category and the 'classical' isomorphisms. We also investigate relational algebras in which every morphism is regular. Part of this work is devoted to morphisms between total orders. In this context we discuss Guttman-Ferrers morphisms, and we shall prove that they are regulars.''
0 references
regular morphism
0 references
circuitless morphism
0 references
idempotents
0 references
regular elements
0 references
Dedekind categories
0 references
relational categories
0 references
idempotent category
0 references
relational algebras
0 references
morphisms between total orders
0 references
Guttman-Ferrers morphisms
0 references