Hull classes in compact regular frames

Papiya Bhattacharjee,Ricardo E. Carrera,Bhattacharjee, Papiya,Carrera, Ricardo E.
DOI: https://doi.org/10.1007/s00012-024-00849-5
2024-03-02
Algebra Universalis
Abstract:is the category of compact regular frames and frame homomorphisms. A class of frames is a hull class provided that: (i) is closed under isomorphic copies; (ii) for every there exist an and a morphism such that is essential; (iii) if is essential and , then there exists for which . This work provides techniques for identifying and generating hull classes in . Moreover, for a compact regular frame F , we introduce and investigate various properties of projectability and disconnectivity of F and prove that for each property, P , the class of -objects that satisfy P is a hull class in . In addition, we provide examples of hull classes that are not characterized by some form of projectability/disconnectivity and examples of classes of -objects that are not hull classes.
mathematics
What problem does this paper attempt to address?