Canonical Selection of Colimits - Archive ouverte HAL Access content directly
Conference Papers Year : 2017

Canonical Selection of Colimits

(1) , (2) , (3)


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).The problem of using colimits as the semantics of certain language constructs is that they are defined only up to isomorphism. However, the semantics of a complex specification in these languages is given by a signature and a class of models over that signature – not by an isomorphism class of signatures. This is particularly relevant when a specification with colimit semantics is further translated or refined. The user needs to know the symbols of a signature for writing a correct refinement.Therefore, we study how to usefully choose one representative of the isomorphism class of all colimits of a given diagram. We develop criteria that colimit selections should meet. We work over arbitrary inclusive categories, but start the study how the criteria can be met with $$\mathbb Set$$-like categories, which are often used as signature categories for institutions.
Fichier principal
Vignette du fichier
433330_1_En_12_Chapter.pdf (367.67 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01767466 , version 1 (16-04-2018)


Attribution - CC BY 4.0



Till Mossakowski, Florian Rabe, Mihai Codescu. Canonical Selection of Colimits. 23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.170-188, ⟨10.1007/978-3-319-72044-9_12⟩. ⟨hal-01767466⟩
130 View
38 Download



Gmail Facebook Twitter LinkedIn More