Regular relations and bicartesian squares

DOI10.1016/0304-3975(94)90086-8zbMath0802.18004OpenAlexW2069707918MaRDI QIDQ1329746

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

Abstract data types; algebraic specification (68Q65) 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)

Related Items (3)

On the structure of an internal groupoid ⋮ Simple feature engineering via neat default retrenchments ⋮ Stronger compositions for retrenchments

Cites Work

• Locating the contractum in the double pushout approach
• Regularity of relations: A measure of uniformity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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