Parallelism Theorem and Derived Rules for Parallel Coherent Transformations - Université Grenoble Alpes
Pré-Publication, Document De Travail Année : 2019

Parallelism Theorem and Derived Rules for Parallel Coherent Transformations

Thierry Boy de La Tour
  • Fonction : Auteur
  • PersonId : 1022935
Thierry Boy de La Tour
  • Fonction : Auteur

Résumé

An Independent Parallelism Theorem is proven in the theory of adhesive HLR categories. It shows the bijective correspondence between sequential independent and parallel independent direct derivations in the Weak Double-Pushout framework, see [2]. The parallel derivations are expressed by means of Parallel Coherent Transformations (PCTs), hence without assuming the existence of coproducts compatible with M as in the standard Parallelism Theorem. It is aslo shown that a derived rule can be extracted from any PCT, in the sense that to any direct derivation of this rule corresponds a valid PCT.

Dates et versions

hal-02325194 , version 1 (22-10-2019)

Identifiants

Citer

Thierry Boy de La Tour, Thierry Boy de La Tour. Parallelism Theorem and Derived Rules for Parallel Coherent Transformations. 2019. ⟨hal-02325194⟩
28 Consultations
0 Téléchargements

Altmetric

Partager

More