Regular relations and bicartesian squares (Q1329746): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0304-3975(94)90086-8 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2069707918 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4693062 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Locating the contractum in the double pushout approach / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3997112 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Regularity of relations: A measure of uniformity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4023410 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5287518 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5686039 / rank | |||
Normal rank |
Latest revision as of 17:08, 22 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Regular relations and bicartesian squares |
scientific article |
Statements
Regular relations and bicartesian squares (English)
0 references
19 December 1994
0 references
A relation \(R\) is regular iff \(R=R*\widehat R*R\), where \(*\) indicates the relational composition and \(\widehat{R}\) is the inverse of \(R\). Regular relations arise in many areas of computer science and are characterized in a number of ways. The purpose of the paper is to recast the properties of regular relations in categorical terms. The result is that regular relations correspond to unique bicartesian squares in Set, where a bicartesian square in a category is a commutative square that is both a pushout and a pullback.
0 references
regular relations
0 references
bicartesian squares
0 references
programming theory
0 references