Extension and Restriction of Derivations in Adhesive Categories
摘要
Extension and restriction of derivations are long-known operations in the framework of graph transformation. In this paper, we continue the study of extension and restriction on the higher level of the adhesive categories. A construction of extensions is provided by means of extension spans, and several properties of extensions are shown relating them, in particular, to restrictions.