Please use this identifier to cite or link to this item: http://dx.doi.org/10.14279/depositonce-10248
For citation please use:
Main Title: Finitary M-Adhesive Categories
Subtitle: Unabridged Version
Author(s): Gabriel, Karsten
Braatz, Benjamin
Ehrig, Hartmut
Golas, Ulrike
Type: Research Paper
Has Version: 10.1007/978-3-642-15928-2_16
Language Code: en
Abstract: Finitary M-adhesive categories are M-adhesive categories with finite objects only, where the notion M-adhesive category is short for weak adhesive high-level replacement (HLR) category. We call an object finite if it has a finite number of M-subobjects. In this paper, we show that in finitary M-adhesive categories we do not only have all the well-known properties of M-adhesive categories, but also all the additional HLR-requirements which are needed to prove the classical results for M-adhesive systems. These results are the Local Church-Rosser, Parallelism, Concurrency, Embedding, Extension, and Local Confluence Theorems, where the latter is based on critical pairs. More precisely, we are able to show that finitary M-adhesive categories have a unique E-M factorization and initial pushouts, and the existence of an M-initial object implies in addition finite coproducts and a unique E'-M' pair factorization. Moreover, we can show that the finitary restriction of each M-adhesive category is a finitary M-adhesive category and finitariness is preserved under functor and comma category constructions based on M-adhesive categories. This means that all the classical results are also valid for corresponding finitary M-adhesive systems like several kinds of finitary graph and Petri net transformation systems. Finally, we discuss how some of the results can be extended to non-M-adhesive categories.
URI: https://depositonce.tu-berlin.de/handle/11303/11361
http://dx.doi.org/10.14279/depositonce-10248
Issue Date: 2010
Date Available: 15-Jun-2020
DDC Class: 004 Datenverarbeitung; Informatik
Subject(s): M-adhesive
finite objects
graph transformation
critical pair
License: http://rightsstatements.org/vocab/InC/1.0/
Series: Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin
Series Number: 2010-12
ISSN: 1436-9915
Appears in Collections:Fak. 4 Elektrotechnik und Informatik » Publications

Files in This Item:
tr_2010-12.pdf
Format: Adobe PDF | Size: 424.46 kB
DownloadShow Preview
Thumbnail

Item Export Bar

Items in DepositOnce are protected by copyright, with all rights reserved, unless otherwise indicated.