Rewriting in categories of spans
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 o...
| Autores: | , , , |
|---|---|
| Formato: | informe técnico |
| Fecha de publicación: | 1996 |
| País: | España |
| Recursos: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | inglés |
| OAI Identifier: | oai:upcommons.upc.edu:2117/82838 |
| Acesso em linha: | https://hdl.handle.net/2117/82838 |
| Access Level: | acceso abierto |
| Palavra-chave: | Graph rewriting Algebraic graph transformation Single-pushout approach Partial algebra Hypergraph Span Àrees temàtiques de la UPC::Informàtica::Programació |
| Resumo: | 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. |
|---|