Article
Version 1
Preserved in Portico This version is not peer-reviewed
Graph Algebras and Derived Graph Operations
Version 1
: Received: 12 May 2023 / Approved: 17 May 2023 / Online: 17 May 2023 (04:46:50 CEST)
A peer-reviewed article of this Preprint also exists.
Wolter, U.; Truong, T.T. Graph Algebras and Derived Graph Operations. Logics 2023, 1, 182-239. Wolter, U.; Truong, T.T. Graph Algebras and Derived Graph Operations. Logics 2023, 1, 182-239.
Abstract
We revise the definition of graph operations in [WDK2018] and adapt correspondingly the construction of graph term algebras.
As a first contribution to a prospective research field Universal Graph Algebra, we generalize some basic concepts and results from algebras to graph algebras.
To tackle this generalization task, we revise and reformulate traditional set-theoretic definitions, constructions and proofs in Universal Algebra by means of more category-theoretic concepts and constructions. Especially, we generalize the concept generated subalgebra and prove that all monomorphic homomorphisms between graph algebras are regular.
Derived graph operations are the other main topic.
After an in depth analysis of terms as representations of derived operations in traditional algebras, we identify three basic mechanisms to construct new graph operations out of given ones: parallel composition, instantiation, and sequential composition.
As a counterpart of terms, we introduce graph operation expressions with a structure as close as possible to the structure of terms.
We show that the three mechanisms allow us to construct for any graph operation expression a corresponding derived graph operation in any graph algebra.
Keywords
Graph operation; graph algebra; graph term algebra; Lawvere theory; derived graph operation; graph operation expression; universal graph algebra; string diagrams
Subject
Computer Science and Mathematics, Logic
Copyright: This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Comments (0)
We encourage comments and feedback from a broad range of readers. See criteria for comments and our Diversity statement.
Leave a public commentSend a private comment to the author(s)
* All users must log in before leaving a comment