Canonical Selection of Colimits
From MaRDI portal
Publication:5208507
DOI10.1007/978-3-319-72044-9_12zbMath1496.68203arXiv1705.09363MaRDI QIDQ5208507
Florian Rabe, Till Mossakowski, Mihai Codescu
Publication date: 16 January 2020
Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1705.09363
68Q65: Abstract data types; algebraic specification
18A30: Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.)