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

regular relationsbicartesian squaresprogramming theory

Mathematics Subject Classification ID

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

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

(4)

• 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)