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.
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. If you wish to make any use of the work not provided for in the law, please contact: email@example.com