Rewriting in categories of spans
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/82838
Tipus de documentReport de recerca
Data publicació1996-03
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
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.
CitacióMonserrat, M., Rosselló, F., Torrens, J., Valiente, G. "Rewriting in categories of spans". 1996.
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
R96-17.ps | 239,0Kb | Postscript | Visualitza/Obre |