Projective Biframes: A General View

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Science. Official publication website can be found on muni.cz.
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:

You are running an old browser version. We recommend updating your browser to its latest version.