Rewriting Abstract Structures: Materialization Explained Categorically [article]

Andrea Corradini and Tobias Heindel and Barbara König and Dennis Nolte and Arend Rensink
2019 arXiv   pre-print
The paper develops an abstract (over-approximating) semantics for double-pushout rewriting of graphs and graph-like objects. The focus is on the so-called materialization of left-hand sides from abstract graphs, a central concept in previous work. The first contribution is an accessible, general explanation of how materializations arise from universal properties and categorical constructions, in particular partial map classifiers, in a topos. Second, we introduce an extension by enriching
more » ... s with annotations and give a precise characterization of strongest post-conditions, which are effectively computable under certain assumptions.
arXiv:1902.04809v1 fatcat:anph56vyhbgz3c477i53jwgrq4