ESSENTIALLY ALGEBRAIC CATEGORIES OF PARTIAL ALGEBRAS

Abstract

We consider categories of partial algebras satisfying given identities and such that the domain of each operation is given by equations in the earlier operations. Without using formal logic, we make all of the above concepts precise. We then show that all such categories are essentially algebraic (in the sense of H. Herrlich).