Rewriting in categories of spans

All of RECERCAT

To access the full text documents, please follow this link: http://hdl.handle.net/2117/82838

dc.contributor	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.contributor.author	Monserrat, Miquel
dc.contributor.author	Rosselló, Francesc
dc.contributor.author	Torrens, Joan
dc.contributor.author	Valiente Feruglio, Gabriel Alejandro
dc.date	1996-03
dc.identifier.citation	Monserrat, M., Rosselló, F., Torrens, J., Valiente, G. "Rewriting in categories of spans". 1996.
dc.identifier.uri	http://hdl.handle.net/2117/82838
dc.language.iso	eng
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Àrees temàtiques de la UPC::Informàtica::Programació
dc.subject	Graph rewriting
dc.subject	Algebraic graph transformation
dc.subject	Single-pushout approach
dc.subject	Partial algebra
dc.subject	Hypergraph
dc.subject	Span
dc.title	Rewriting in categories of spans
dc.type	info:eu-repo/semantics/publishedVersion
dc.type	info:eu-repo/semantics/report
dc.description.abstract	Single-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.