Current browse context:
math.CT
Change to browse by:
References & Citations
Mathematics > Category Theory
Title: Parallelism Theorem and Derived Rules for Parallel Coherent Transformations
(Submitted on 8 Jul 2019)
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.
Submission history
From: Thierry Boy de la Tour [view email][v1] Mon, 8 Jul 2019 13:08:12 GMT (16kb)
Link back to: arXiv, form interface, contact.