Rewriting in categories of spans
Document typeResearch report
Rights accessOpen Access
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder
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.
CitationMonserrat, M., Rosselló, F., Torrens, J., Valiente, G. "Rewriting in categories of spans". 1996.