Multi-E-Reflective and Bireflective Subcategories of Partial Algebras

A category PAlg() of partial algebras of a given type will be introduced. Then we will present a categorical concept in order to characterize those subcategories of PAlg(), which are closed under the formation of various kinds of subobjects. We will also give a characterization for bireflective subcategories of PAlg(), which enables us to show, that the subcategory Alg() consisting of all total algebras of type is the smallest bireflective subcategory of PAlg().