Groupoids, idempotents and pointwise inverses in relational categories (Q760494): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0022-4049(85)90061-1 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2005005530 / rank | |||
Normal rank |
Revision as of 02:43, 20 March 2024
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