Functorial Polar Functions in Compact Normal Joinfit Frames

Carrera, Ricardo E.
DOI: https://doi.org/10.1007/s10485-024-09783-y
2024-08-26
Applied Categorical Structures
Abstract:is the category of compact normal joinfit frames and frame homomorphisms. is the complete boolean algebra of polars of the frame F . A function that assigns to each a subalgebra of that contains the complemented elements of F is a polar function. A polar function is invariant (resp., functorial) if whenever is -essential (resp., skeletal) and , then . is -splitting if is -essential and whenever , then is complemented in H . is -projectable means that every is complemented. For a polar function and , we construct the least -splitting frame of F . Moreover, we prove that if is a functorial polar function, then the class of -projectable frames is a -essential monoreflective subcategory of , the category of -objects and skeletal maps (the case is the result from Martínez and Zenk, which states that the class of strongly projectable -objects is a reflective subcategory of ).
mathematics
What problem does this paper attempt to address?