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

web

• http://www.ingentaconnect.com/content/nisc/qm/2009/00000032/00000003/art00001?token=005c1fc9c51b64477ab154c405847447b233e6c7a31516f353a41475833757e6f3f2f2730673f582f6bce0f2c713
• http://www.nisc.co.za/oneAbstract?absId=3213

• 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

• Mathematical structures and their physical applications
• Kategoriální metody teorie struktur