A new criterion for M, N -adhesivity, with an application to hierarchical graphs

DOI10.1007/978-3-030-99253-8_11MaRDI QIDQ6181929zbMATH OpenOpenAlexFDO

Authors Fabio Gadducci, Marino Miculan

Publication date 23 January 2024

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2201.00233

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Abstract: Adhesive categories provide an abstract framework for the algebraic approach to rewriting theory, where many general results can be recast and uniformly proved. However, checking that a model satisfies the adhesivity properties is sometimes far from immediate. In this paper we present a new criterion giving a sufficient condition for $mathcalM,mathcalN$-adhesivity, a generalisation of the original notion of adhesivity. We apply it to several existing categories, and in particular to hierarchical graphs, a formalism that is notoriously difficult to fit in the mould of algebraic approaches to rewriting and for which various alternative definitions float around.

Recommendations

• Foundations of Software Science and Computation Structures
• Adhesive and quasiadhesive categories
• Adhesivity is not enough: local Church-Rosser revisited
• Adhesivity with partial maps instead of spans
• Rule algebras for adhesive categories

Cites work

• M, N-adhesive transformation systems
• \textsf{DBtk}: a toolkit for directed bigraphs
• Abstract and concrete categories: the joy of cats
• Adhesive and quasiadhesive categories
• Algebraic hierarchical graph transformation
• Bigraphs with sharing
• Connected limits, familial representability and Artin glueing
• Directed bigraphs
• Fundamentals of algebraic graph transformation
• Graph Transformations
• Hierarchical Graph Transformation Revisited
• scientific article; zbMATH DE number 2134022 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• On term graphs as an adhesive category
• On the axioms for adhesive and quasiadhesive categories
• On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
• Parallelism and concurrency in high-level replacement systems
• Quasitoposes, Quasiadhesive Categories and Artin Glueing
• Rule algebras for adhesive categories
• The Space and Motion of Communicating Agents
• Toposes Are Adhesive

Cited in

(3)

• Left-linear rewriting in adhesive categories
• On the axioms of \(\mathcal{M},\mathcal{N}\)-adhesive categories
• A categorical model for organic chemistry

This page was built for publication: A new criterion for \(\mathcal{M}, \mathcal{N} \)-adhesivity, with an application to hierarchical graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6181929)