by Ulrike Prange, Hartmut Ehrig, Leen Lambers
Abstract:
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 general results of transformation systems, as additional properties initial pushouts, binary coproducts compatible with a special morphism class M and a pair factorization are needed to obtain the full theory. In this paper, we analyze under which conditions these additional properties are preserved by the categorical constructions in order to avoid checking these properties explicitly.
Reference:
Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories (Ulrike Prange, Hartmut Ehrig, Leen Lambers), In Applied Categorical Structures, Springer, volume 16, 2008.
Bibtex Entry:
@Article{PEL08,
AUTHOR = {Prange, Ulrike and Ehrig, Hartmut and Lambers, Leen},
TITLE = {{Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories}},
YEAR = {2008},
JOURNAL = {Applied Categorical Structures},
VOLUME = {16},
NUMBER = {3},
PAGES = {365--388},
PUBLISHER = {Springer},
URL = {http://www.springerlink.com/content/c6145871622p635j/},
PDF = {uploads/pdf/PEL08_PEL08.pdf},
OPTacc_pdf = {},
ABSTRACT = {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 general results of transformation systems, as additional properties initial pushouts, binary coproducts compatible with a special morphism class M and a pair factorization are needed to obtain the full theory. In this paper, we analyze under which conditions these additional properties are preserved by the categorical constructions in order to avoid checking these properties explicitly.},
KEYWORDS = {adhesive HLR category, graph transformation}
}