Equational partiality

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.Presented by V. Trnková.