Adhesivity with partial maps instead of spans
type: Item
instance of: scholarly article
zbMATH Open document ID: 1267.68128
DOI: 10.3233/FI-2012-704
author: Tobias Heindel
published in: Fundamenta Informaticae
publication date: 2012-07-11T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 18B20
zbMATH DE Number: 6054481
zbMATH Keywords: graph transformation
zbMATH Keywords: category theory
zbMATH Keywords: adhesive categories
zbMATH Keywords: double pushout rewriting
zbMATH Keywords: categorical framework
MaRDI profile type: Publication
Recommended article: Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations
Recommended article: Q4904140
Recommended article: Graph Transformations
Recommended article: Q3416071
Recommended article: From Algebraic Graph Transformation to Adhesive HLR Categories and Systems
Recommended article: Construction and properties of adhesive and weak adhesive high-level replacement categories
Recommended article: Transformations in Reconfigurable Place/Transition Systems
Recommended article: Categorical principles, techniques and results for high-level-replacement systems in computer science
Recommended article: Towards algebraic high-level systems as weak adhesive HLR categories
Recommended article: Foundations of Software Science and Computation Structures
title: Adhesivity with partial maps instead of spans
review text: This paper is a journal version of a conference paper [Lect. Notes Comput. Sci. 6372, 250--265 (2010; Zbl 1306.68073)] presented at ICGT 2010. The main idea is to propose a new categorical framework for graph transformation and high-level replacement (HLR) systems, which generalizes adhesive categories and several variants introduced recently in the literature. The author proposes ``partial map adhesive categories'' based on ''heraditary pushouts''as a natural candidate for such a framework. In fact, several interesting properties are shown for this framework, which are fundamental for the theory of HLR systems including different kinds of graph and Petri net transformation systems. Moreover, partial map adhesivity can be shown via partial map classifiers leading to an interesting proof technique. Partial map adhesive categories are shown to be strictly more general than weak adhesive HLR categories. On the other hand partial map adhesive are also ``vertical'' weak adhesive HLR categories, but the equivalence of both is (stated as) an open problem. In contrast to the present paper vertical weak adhesive HLR categories are proposed in [the reviewer, \textit{U. Golas} and \textit{F. Hermann}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 102, 111--121 (2010; Zbl 1257.68092)] as a natural candidate for a general rewriting framework. In any case both approaches are very powerful and can benefit from each other.
reviewed by: Hartmut Ehrig
description: scientific article; zbMATH DE number 6054481