Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories

@article{Golas2008ConstructionAP,
  title={Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories},
  author={Ulrike Golas and Hartmut Ehrig and Leen Lambers},
  journal={Applied Categorical Structures},
  year={2008},
  volume={16},
  pages={365-388}
}
As presented in Ehrig et al. (Fundamentals of Algebraic Graph Transformation, EATCS Monographs, Springer, 2006), adhesive high-level replacement (HLR) categories and systems are an adequate framework for several kinds of transformation systems based on the double pushout approach. Since (weak) adhesive HLR categories are closed under product, slice, coslice, comma and functor category constructions, it is possible to build new (weak) adhesive HLR categories from existing ones. But for the… CONTINUE READING

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…