On quasivarieties of partial algebras. Their generation and their subquasivarieties. II (Q1821804)

This is the second part of a paper [for the first part see ibid. 21, 145- 160 (1986; Zbl 0594.08004)]. Concepts of homomorphism, congruence and free algebra are considered in the language of (dht-)category. It is given ''a sketch of the construction of a semigroup representation of quasivarieties of partial heterogeneous universal algebras, which is analogous to the Dale semigroup representation of a variety''. Further it is pointed out ''that the language of partial theories is suitable as an adequate basis also for the Galois theory between operations and relations (including the case of partial operations)''. Moreover it is presented the sight that relational structures should be considered as special cases of partial algebras.