Regular relations and bicartesian squares
From MaRDI portal
Publication:1329746
DOI10.1016/0304-3975(94)90086-8zbMath0802.18004MaRDI QIDQ1329746
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
68Q65: Abstract data types; algebraic specification
18A30: Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.)
18B10: Categories of spans/cospans, relations, or partial maps
Related Items
Cites Work