Show simple item record

dc.contributor.authorMonserrat, Miquel
dc.contributor.authorRosselló, Francesc
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-11T11:24:40Z
dc.date.available2016-02-11T11:24:40Z
dc.date.issued1996-03
dc.identifier.citationMonserrat, M., Rosselló, F., Torrens, J., Valiente, G. "Rewriting in categories of spans". 1996.
dc.identifier.urihttp://hdl.handle.net/2117/82838
dc.description.abstractSingle-pushout transformation in a category of spans, in some sense a generalization of the usual notion of partial morphism, is studied in this paper. Contrary to the usual notion of partial morphism, spans are single objects instead of equivalence classes. A necessary 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. Several interesting categories of partial morphisms of hypergraphs are proved to satisfy the necessary condition.
dc.format.extent20 p.
dc.language.isoeng
dc.subjectÀrees temàtiques de la UPC::Informàtica::Programació
dc.subject.otherGraph rewriting
dc.subject.otherAlgebraic graph transformation
dc.subject.otherSingle-pushout approach
dc.subject.otherPartial algebra
dc.subject.otherHypergraph
dc.subject.otherSpan
dc.titleRewriting in categories of spans
dc.typeExternal research report
dc.rights.accessOpen Access
local.identifier.drac1890056
dc.description.versionPostprint (published version)
local.citation.authorMonserrat, M.; Rosselló, F.; Torrens, J.; Valiente, G.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record