Abstract | ||
---|---|---|
In this paper we study single-pushout transformation in a category of spans , a generalization of the notion of partial morphism in, for instance, [2,4]. As an application, single-pushout transformation in a category of hypergraphs with a special type of partial morphisms, the conformisms , is presented. In particular, we show the existence of the pushout of any pair of conformisms of hypergraphs with the same source hypergraph, and how to construct one such a pushout. Finally, hypergraph rewriting using conformisms is compared to single-pushout hypergraph rewriting by means of a detailed example. |
Year | DOI | Venue |
---|---|---|
1995 | 10.1016/S1571-0661(05)80198-7 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
category | Discrete mathematics,Combinatorics,Hypergraph,Constraint graph,Pushout,Graph rewriting,Rewriting,Morphism,Mathematics | Journal |
Volume | ISSN | Citations |
2 | Electronic Notes in Theoretical Computer Science | 2 |
PageRank | References | Authors |
0.43 | 4 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
M. Monserrat | 1 | 447 | 21.47 |
Francesc Rosselló | 2 | 244 | 29.09 |
J. Torrens | 3 | 697 | 38.56 |
G. Valiente | 4 | 2 | 0.43 |