Abstract
A special kind of partiality of heterogeneous algebraic structures is introduced. Every operator of a heterogeneous operator domain is associated with a set of term equations as necessary and sufficient domain condition.
It is shown that some kind of hierarchy condition for the system of domain equations is equivalent to the condition that every injective weak homomorphism is a strong homomorphism which is equivalent to the statement that every bijective weak homomorphism is an isomorphism.
On the base of this result the notions of a quasi-variety and of a variety of equationally partial heterogeneous algebras are suggested. The class of all small categories becomes a standard example of a variety of equational partial heterogeneous algebras.
Similar content being viewed by others
References
ADJ. J. A. Goguen, J. W. Thatcher andE. G. Wagner,An initial algebra approach to the specification, correctness, and implementation of abstract data types. IBM Research Report RC-6487, Oct. 1976, alsoCurrent Trends in Programming Methodology. IV. Data Structuring (R. T. Yeh, Ed.) Prentice Hall, New Jersey (1978), pp. 80–149.
H.Andreka, P.Burmeister and I.Nemeti,Quasivarieties of partial algebras—aunifying approach towards a two-valued model theory for partial algebras, TH Darmstadt, Fachbereich Mathematik, Preprint Nr. 557, 1980.
H.Andreka and I.Nemeti,Applications of universal algebra, model theory, and categories in computer science, Computational Linguistics and Computer Languages, Vol XIII, 1979.
G.Birkhoff and J. D.Lipson,Heterogeneous algebras, J. Combinatorical Theory,8, pp. 115–133.
P.Burmeister,Primitive Klassen partieller Algebren, Habilitationsschrift, Universität Bonn, 1971.
R. M.Burstall and J. A.Goguen,The Semantics of CLEAR, a specification Language, Abstract Software Specification (1979 Copenhagen Winter School Proceedings) Ed. D. Bjørner, Lect. Not. in Comp. Sci.86 (1980) pp. 292–333.
T. Evans,Embeddability and the word problem, J. Lond. Math. Soc.28 (1953), pp. 76–80.
H. Höft,Weak and strong equations in partial algebras, Algebra Universalis3 (1973), pp. 203–215.
U. L.Hupbach,Abstract implementation of abstract data types, Proc. MFCS '80, Rydzyna, Sept. 1980, Lect. Not. in Comp. Sci.88 (1980).
R.John,Gültigkeitsbegriffe für Gleichungen in partiellen Algebren, Preprint Nr. 250, Februar 1976, TH Darmstadt.
H. Kaphengst andH. Reichel,Algebraische Algotithmentheorie, WIB Nr. 1, VEB Kombinat Robotron, Dresden 1971.
R. Kerkhoff,Gleichungsdefinierbare Klassen partieller Algebren, Math. Annalen185 (1970), pp. 112–133.
S. Poythress,Partial morphisms on partial algebras, Algebra Universalis3 (1973), pp. 182–202.
H.Reichel,Theorie der Äquoide, Dissertation B, Humboldt-Universität zu Berlin, 1979.
H.Reichel,Initially restricting algebraic theories, Proc. MFCS '80, Rydzyna, Sept. 1980, Lect. Not. in Comp. Sci. (1980), pp. 504–514.
J. Schmidt,A general existence theorem on partial algebras and its special cases, Coll. Math.14 (1966), pp. 73–87.
J. SŁminski,A theory of P-homomorphisms, Coll. Math.14 (1966), pp. 135–162.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Benecke, K., Reichel, H. Equational partiality. Algebra Universalis 16, 219–232 (1983). https://doi.org/10.1007/BF01191770
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01191770