| Identifikační kód |
RIV/67985807:_____/13:00424950 |
| Název v anglickém jazyce |
Relation lifting, with an application to the many-valued cover modality |
| Druh |
J - Recenzovaný odborný článek (Jimp, Jsc a Jost) |
| Poddruh |
- |
| Jazyk |
eng - angličtina |
| Obor - skupina |
B - Fyzika a matematika |
| Obor |
BA - Obecná matematika |
| Rok uplatnění |
2013 |
| Kód důvěrnosti údajů |
S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku |
3 |
| Počet tvůrců celkem |
4 |
| Počet domácích tvůrců |
1 |
| Výčet všech uvedených jednotlivých tvůrců |
Marta Bílková (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 6286615)
A. Kurz (státní příslušnost: GB - Spojené království Velké Británie a Severního Irska)
D. Petrisan (státní příslušnost: GB - Spojené království Velké Británie a Severního Irska)
J. Velebil (státní příslušnost: CZ - Česká republika) |
| Popis výsledku v anglickém jazyce |
We introduce basic notions and results about relation liftings on categories enriched in a commutative quantale. We derive two necessary and sufficient conditions for a 2-functor T to admit a functorial relation lifting: one is the existence of a distributive law of T over the ?powerset monad on categories, one is the preservation by T of ?exactness of certain squares. Both characterisations are generalisations of the ?classical results known for set functors: the first characterisation generalises theexistence of a distributive law over the genuine powerset monad, the second generalises preservation of weak pullbacks. The results presented in this paper enable us to compute predicate liftings of endofunctors of, for example, generalised (ultra)metricspaces. We illustrate this by studying the coalgebraic cover modality in this setting. |
| Klíčová slova oddělená středníkem |
relation lifting; module; exact square; enriched categories; commutative quantale; coalgebra; modal logic; cover modality |
| Stránka www, na které se nachází výsledek |
http://www.lmcs-online.org/ojs/viewarticle.php?id=1154&layout=abstract |
| Odkaz na údaje z výzkumu |
- |