dc.contributor.author Montserrat, Miquel dc.contributor.author Francesc, Rosselló dc.contributor.author Torrens, Joan dc.contributor.author Valiente Feruglio, Gabriel Alejandro dc.contributor.other Universitat Politècnica de Catalunya. Departament de Ciències de la Computació dc.date.accessioned 2016-02-26T10:19:29Z dc.date.available 2016-02-26T10:19:29Z dc.date.issued 1997-05 dc.identifier.citation Montserrat, M., Francesc, R., Torrens, J., Valiente, G. "Single-pushout rewriting in categories of spans I: the general setting". 1997. dc.identifier.uri http://hdl.handle.net/2117/83488 dc.description.abstract A unifying view of all constructions of pushouts of partial morphisms considered so far in the literature of single-pushout transformation is given in this paper. Pushouts of partial morphisms are studied in an abstract category of spans formed out of two distinguished subcategories of the base category, thus generalizing previous studies in single-pushout transformation. Such spans are single pairs of morphisms, instead of equivalence classes, providing then a notion of transformation which is independent of class representatives. A necessary and sufficient condition for the existence of the pushout of two spans is established which involves properties of the base category, from which the category of spans is derived, as well as properties of the spans themselves. Moreover, a necessary and sufficient condition for single-pushout derivations in a category of spans to subsume double-pushout derivations in the base category is established which only involves properties of the base category. dc.format.extent 38 p. dc.language.iso eng dc.relation.ispartofseries LSI-97-23-R dc.subject Àrees temàtiques de la UPC::Informàtica::Programació dc.subject.other Rewriting dc.subject.other Single-pushout dc.title Single-pushout rewriting in categories of spans I: the general setting dc.type External research report dc.rights.access Open Access local.identifier.drac 1890110 dc.description.version Postprint (published version) local.citation.author Montserrat, M.; Francesc, R.; Torrens, J.; Valiente, G.
﻿