Regular relations and bicartesian squares

DOI10.1016/0304-3975(94)90086-8MaRDI QIDQ1329746zbMATH OpenOpenAlexFDO

Authors Richard Banach

Publication date 19 December 1994

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(94)90086-8

zbMATH Keywords

bicartesian squaresprogramming theoryregular relations

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categories of spans/cospans, relations, or partial maps (18B10) Abstract data types; algebraic specification (68Q65)

Review text

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.

Recommendations

• On regularity in software design
• Bicategories of spans and relations
• scientific article; zbMATH DE number 19493
• On the cocartesian image of preorders and equivalence relations in regular categories
• scientific article; zbMATH DE number 3953028

Cites work

• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 107838 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 234018 (Why is no real title available?)
• scientific article; zbMATH DE number 3424017 (Why is no real title available?)
• Locating the contractum in the double pushout approach
• Regularity of relations: A measure of uniformity

Cited in

(5)

• On regularity in software design
• On the cocartesian image of preorders and equivalence relations in regular categories
• On the structure of an internal groupoid
• Simple feature engineering via neat default retrenchments
• Stronger compositions for retrenchments

This page was built for publication: Regular relations and bicartesian squares

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1329746)