Finitary M-adhesive categories
DOI10.1017/S0960129512000321zbMATH Open1342.68177MaRDI QIDQ5740372FDOQ5740372
Authors: Karsten Gabriel, Benjamin Braatz, Hartmut Ehrig, Ulrike Golas 
Publication date: 26 July 2016
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Recommendations
Grammars and rewriting systems (68Q42) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Categories of machines, automata (18B20)
Cites Work
- Restriction categories. I: Categories of partial maps
- Correctness of high-level transformation systems relative to nested conditions
- Sesqui-Pushout Rewriting
- Graph rewriting in span-categories
- Fundamentals of algebraic graph transformation
- Adhesive and quasiadhesive categories
- Construction and properties of adhesive and weak adhesive high-level replacement categories
- Finitary \(\mathcal{M}\)-adhesive categories
- A lattice-theoretical perspective on adhesive categories
- How to delete categorically -- two pushout complement constructions
- Double-pullback transitions and coalgebraic loose semantics for graph transformation systems
- Hereditary pushouts reconsidered
Cited In (12)
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
- Fundamentals of compositional rewriting theory
- Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach
- Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Rewriting theory for the life sciences: a unifying theory of CTMC semantics
- A lattice-theoretical perspective on adhesive categories
- Title not available (Why is that?)
- Finitary \(\mathcal{M}\)-adhesive categories
- Constructing constraint-preserving interaction schemes in adhesive categories
This page was built for publication: Finitary \(\mathcal{M}\)-adhesive categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5740372)
