Towards a Double Pushout Transformation of Algebras

AbstractThis paper is a survey of the results obtained in [9], where the basis to develop the DPO transformation of partial and total algebras of an arbitrary signature (type) were established. In particular, we describe here the gluing condition and the uniqueness condition for the corresponding categories of algebras, which are necessary and sufficient conditions to guarantee that a rule can be applied and the result of its application is unique (up to isomorphism)