We prove cocompleteness of the category of CASL signatures, of monotone signatures, of strongly regular signatures and of strongly locally filtered signatures. This shows that using these signature categories is compatible with a pushout or colimit based module system.
CITATION STYLE
Mossakowski, T. (1998). Colimits of order-sorted specifications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1376, pp. 316–332). Springer Verlag. https://doi.org/10.1007/3-540-64299-4_42
Mendeley helps you to discover research relevant for your work.