Parallelism Theorem and Derived Rules for Parallel Coherent Transformations

Abstract : 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.
Type de document :
Pré-publication, Document de travail
Liste complète des métadonnées

http://hal.univ-grenoble-alpes.fr/hal-02325194
Contributeur : Thierry Boy de la Tour <>
Soumis le : mardi 22 octobre 2019 - 10:58:04
Dernière modification le : vendredi 25 octobre 2019 - 01:27:43

Lien texte intégral

Identifiants

  • HAL Id : hal-02325194, version 1
  • ARXIV : 1907.06585

Collections

UGA | INSMI | LIG | CNRS

Citation

Thierry Boy de la Tour, Thierry Boy de la Tour. Parallelism Theorem and Derived Rules for Parallel Coherent Transformations. 2019. ⟨hal-02325194⟩

Partager

Métriques

Consultations de la notice

8