Publication details

Projective Biframes: A General View

Authors

PASEKA Jan

Year of publication 2009
Type Article in Periodical
Magazine / Source Quaestiones Mathematicae
MU Faculty or unit

Faculty of Science

Citation
Web
Field General mathematics
Keywords BIFRAME; K-FLAT PROJECTIVITY; K-FLAT PROJECTIVE BIFRAME; K-COMONAD; K-COHERENT BIFRAME
Description We begin with the notion of K-flat projectivity. For each biframe L we then introduce a binary relation pod_L on it. The K-flat projective biframes are exactly such biframes with each element a of the total (first, second) part approximated by the elements x of the total (first, second) part, x pod_L a and the relation pod_L being stable wrt. the meet operation on L. Further on, we introduce the notion of a K-comonad and characterize K-flat projective biframes as those biframes having a coalgebra structure for the K-comonad. The K-coherent biframes and K-flat projective biframes are coreflective in all biframes.
Related projects: