Projective Biframes: A General View
| Authors | |
|---|---|
| Year of publication | 2009 |
| Type | Article in Periodical |
| Magazine / Source | Quaestiones Mathematicae |
| MU Faculty or unit | |
| 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: |