Canonical Selection of Colimits
From MaRDI portal
Publication:5208507
DOI10.1007/978-3-319-72044-9_12zbMath1496.68203arXiv1705.09363OpenAlexW2618195540MaRDI 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
Abstract data types; algebraic specification (68Q65) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)
Related Items
