Canonical selection of colimits

DOI10.1007/978-3-319-72044-9_12MaRDI QIDQ5208507zbMATH OpenOpenAlexFDO

Authors Till Mossakowski, Florian Rabe, 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

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Abstract data types; algebraic specification (68Q65)

Abstract: Colimits are a powerful tool for the combination of objects in a category. In the context of modeling and specification, they are used in the institution-independent semantics (1) of instantiations of parameterised specifications (e.g. in the specification language CASL), and (2) of combinations of networks of specifications (in the OMG standardised language DOL).

Recommendations

• scientific article; zbMATH DE number 1522144
• Categorical concepts for parameterized partial specifications
• scientific article; zbMATH DE number 1525070
• Categorical foundations for structured specifications in \(\mathsf{Z}\)
• Detecting equivalence of modular specifications with categorical diagrams

Cited in

(2)

• Structure-preserving diagram operators
• Lightweight realms

This page was built for publication: Canonical selection of colimits

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5208507)