Show simple item record

dc.contributor.authorMontserrat, Miquel
dc.contributor.authorFrancesc, Rosselló
dc.contributor.authorTorrens, Joan
dc.contributor.authorValiente Feruglio, Gabriel Alejandro
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2016-02-26T10:19:29Z
dc.date.available2016-02-26T10:19:29Z
dc.date.issued1997-05
dc.identifier.citationMontserrat, M., Francesc, R., Torrens, J., Valiente, G. "Single-pushout rewriting in categories of spans I: the general setting". 1997.
dc.identifier.urihttp://hdl.handle.net/2117/83488
dc.description.abstractA 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.extent38 p.
dc.language.isoeng
dc.relation.ispartofseriesLSI-97-23-R
dc.subjectÀrees temàtiques de la UPC::Informàtica::Programació
dc.subject.otherRewriting
dc.subject.otherSingle-pushout
dc.titleSingle-pushout rewriting in categories of spans I: the general setting
dc.typeExternal research report
dc.rights.accessOpen Access
local.identifier.drac1890110
dc.description.versionPostprint (published version)
local.citation.authorMontserrat, M.; Francesc, R.; Torrens, J.; Valiente, G.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record