Abstract
KReg is the category of compact regular frames and frame homomorphisms. A class of KReg frames H is a hull class provided that: (i) H is closed under isomorphic copies; (ii) for every F∈KReg there exist an hF∈H and a morphism hF such that F≤hFhF is essential; (iii) if F≤ϕH is essential and H∈H, then there exists hϕ:hF⟶H for which ϕ=hϕ·hF. This work provides techniques for identifying and generating hull classes in KReg. 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 KReg-objects that satisfy P is a hull class in KReg. In addition, we provide examples of KReg hull classes that are not characterized by some form of projectability/disconnectivity and examples of classes of KReg-objects that are not hull classes.
| Original language | English |
|---|---|
| Article number | 17 |
| Journal | Algebra Universalis |
| Volume | 85 |
| Issue number | 2 |
| DOIs | |
| State | Published - May 2024 |
Bibliographical note
Publisher Copyright:© The Author(s), under exclusive licence to Springer Nature Switzerland AG 2024.
ASJC Scopus Subject Areas
- Algebra and Number Theory
- Logic
Keywords
- Compact regular frames
- Disconnectivity
- Essential monics
- Hull classes
- Projectability