Canonical Selection of Colimits
Logic in Computer Science
2017-05-29 v1
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).
Keywords
Cite
@article{arxiv.1705.09363,
title = {Canonical Selection of Colimits},
author = {Till Mossakowski and Florian Rabe and Mihai Codescu},
journal= {arXiv preprint arXiv:1705.09363},
year = {2017}
}