Categories of Algebraic Rewrite Rules - Université Grenoble Alpes Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2024

Categories of Algebraic Rewrite Rules


What are the legitimate morphisms between algebraic graph rewrite rules? The question is complicated by the diversity of approaches. From the familiar Double-Pushout (DPO) to the more recent PBPO and many others, the rules have different shapes, semantics (defined by direct transformation diagrams) and even matchings. We propose to represent these approaches by categories of rules, direct transformations and matchings related by functors in \emph{Rewriting Environments with Matchings}. From these we extract a so-called $\XFunc$-functor whose properties are key to make rule morphisms meaningful. We show that these properties are preserved by combining approaches and by restricting them to strict matchings.
Fichier principal
Vignette du fichier
hal-wadt.pdf (352.98 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04550047 , version 1 (17-04-2024)


  • HAL Id : hal-04550047 , version 1


Thierry Boy de la Tour. Categories of Algebraic Rewrite Rules. 2024. ⟨hal-04550047⟩
9 Consultations
5 Téléchargements


Gmail Facebook X LinkedIn More