Pushout complements for arbitrary partial algebras
A double-pushout (DPO) production rule in a category \({\mathcal C}\) is a pair of morphisms \(P=({\mathbb L}{\leftarrow}{\mathbb K} {\rightarrow}{\mathbb R})\). Such a production rule in \({\mathcal C}\) can be applied to an object \({\mathbb D}\) when there exists a morphism \(m:{\mathbb L}\rightarrow {\mathbb D}\) and a diagram \[ \begin{tikzcd} {\mathbb L}\ar[r,"l"]\ar[d,"m" '] & \mathbb K\ar[r,"r"]\ar[d,"g" '] & \mathbb R\ar[d,"d^\prime"]\\ \mathbb D & \mathbb B \ar[r,"r^\prime" '] \ar[l,"l^\prime"] & \mathbb H \end{tikzcd} \] such that both squares in it are pushout squares (here \(({\mathbb B},g,l')\) is a pushout complement of \(l\) and \(m\), \(({\mathbb H},g',r')\) is a pushout of \(g\) and \(r\)). When such a diagram exists, they say that \({\mathbb H}\) has been derived from \({\mathbb D}\) by the application of rule \(P\) through \(m:{\mathbb L}\rightarrow {\mathbb D}\); the intermediate object \({\mathbb B}\) is called the context object of this derivation. It is well known that the category \(\text{ Alg}_\Sigma\) of partial algebras of a given signature \(\Sigma\) with their homomorphisms as morphisms has all binary pushouts. So, to use DPO transformation in \(\text{ Alg}_\Sigma\) one has first to solve the following two problems: a) To find a gluing condition: a necessary and sufficient condition on two homomorphisms \(f:{\mathbb K}\rightarrow {\mathbb A}\) and \(m:{\mathbb A}\rightarrow {\mathbb D}\) for the existence of a pushout complement of them. b) To find a uniqueness condition: a necessary and sufficient condition on a homomorphism \(f:{\mathbb K}\rightarrow {\mathbb A}\) for the uniqueness (up to isomorphisms) of a pushout complement of \(f\) and a homomorphism \(m:{\mathbb A}\longrightarrow {\mathbb D}\) when they satisfy the gluing condition. These problems were solved by \textit{P. Burmeister, F. Roselló, J. Torrens} and \textit{G. Valiente} for partial algebras over a unary signature [Theor. Comput. Sci. 184, No. 1-2, 145-193 (1997; Zbl 0896.08006)]. In this paper they are solved for partial algebras over an arbitrary signature. For the entire collection see [Zbl 0933.00049].
- Pushout complements for partly total algebras
- scientific article; zbMATH DE number 1522645
- scientific article; zbMATH DE number 3898952
- Completeness theory for finite partial algebras
- scientific article; zbMATH DE number 4006322
- Completeness theory for the product of finite partial algebras
- scientific article; zbMATH DE number 437418
- Partial algebras and their theories
- Extending partial combinatory algebras
- scientific article; zbMATH DE number 4077306
- Algebraic transformation of unary partial algebras II: Single-pushout approach
- The uniqueness condition for the double pushout transformation of algebras
- Pushout complements for partly total algebras
- On pushouts of partial maps
- The weak hereditary class of a variety
- PUSHOUTS OF PARTIAL HOMOMORPHISMS OF PARTIAL ALGEBRAS II: CLOSED QUOMORPHISMS
- GETGRATS: a summary of scientific results (with annotated bibliography)
- Towards a double pushout transformation of algebras
- On the Construction of Transformation Steps in the Category of Multiagent Systems
- SINGLE-PUSHOUT TRANSFORMATION OF TOTAL ALGEBRAS
- Partial pushout semantics of generics in DOL
- Pushout-complements and basic concepts of grammars in toposes
This page was built for publication: Pushout complements for arbitrary partial algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4502810)
