Epicompletion in Frames with Skeletal Maps, II: Compact Normal Joinfit Frames

摘要

An epireflection psi is constructed of the category KNArS of compact normal joinfit frames, with skeletal maps, in the subcategory SPArS consisting of strongly projectable KNArS-objects. The construction is achieved via a pushout in the category FrmS of frames with skeletal maps, and involves rather intimately the regular coreflection of the object to be reflected. Further, if the regular coreflection rho is applied to the reflection map psi (A) :A -> psi A one obtains the extension of rho A to its absolute.