Finitary $\mathcal{M}$ -Adhesive Categories

DOI10.1007/978-3-642-15928-2_16zbMath1306.68121OpenAlexW1490620776MaRDI QIDQ4931318

Hartmut Ehrig, Karsten Gabriel, Benjamin Braatz, Ulrike Golas

Publication date: 4 October 2010

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

Full work available at URL: https://doi.org/10.1007/978-3-642-15928-2_16

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32)

Related Items (10)

Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Processes and unfoldings: concurrent computations in adhesive categories ⋮ Finitary -adhesive categories ⋮ Combining termination proofs in model transformation systems ⋮ Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions ⋮ Rule Algebras for Adhesive Categories ⋮ Concurrency theorems for non-linear rewriting theories ⋮ Transformations of reaction systems over categories by means of epi-mono factorization and functors

This page was built for publication: Finitary $\mathcal{M}$ -Adhesive Categories