Projective Biframes: A General View

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F09%3A00029598" target="_blank" >RIV/00216224:14310/09:00029598 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Projective Biframes: A General View

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Projective Biframes: A General View

Popis výsledku anglicky

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.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/GA201%2F06%2F0664" target="_blank" >GA201/06/0664: Kategoriální metody teorie struktur</a><br>

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2009

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Quaestiones Mathematicae

ISSN

1607-3606

e-ISSN

—

Svazek periodika

32

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

ZA - Jihoafrická republika

Počet stran výsledku

15

Strana od-do

—

Kód UT WoS článku

000270751500001

EID výsledku v databázi Scopus

—