Hull classes in compact regular frames

Research output: Contribution to journalArticlepeer-review

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 languageEnglish
Article number17
JournalAlgebra Universalis
Volume85
Issue number2
DOIs
StatePublished - 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

Fingerprint

Dive into the research topics of 'Hull classes in compact regular frames'. Together they form a unique fingerprint.

Cite this