Projective Biframes: A General View

Warning

This publication doesn't include Institute of Computer Science. 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	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