Equational Compactness of G-sheaves

Purity and equational compactness play a role at least in the Theories of Modules, Acts, Model, and Category. Adámek and Rosický have studied them categorically, Rothmaler model-theoretically, and some authors, including Banaschewski, Gould, and Normak have studied these notions on G-acts. We take both the group G and the set A in the definition of a G-act to be sheaves and study equationally compact G-sheaves. We get different kinds of equationally compact G-sheaves, study them and their interrelations, give some conditions for their proper behavior, and generalize some of the existing results.