Počet záznamů: 1
Relation Liftings on Preorders and Posets
- 1.
SYSNO ASEP 0368502 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Relation Liftings on Preorders and Posets Tvůrce(i) Bílková, Marta (UIVT-O) SAI, RID, ORCID
Kurz, A. (GB)
Petrisan, D. (GB)
Velebil, J. (CZ)Zdroj.dok. Algebra and Coalgebra in Computer Science. - Berlin : Springer, 2011 / Corradini A. ; Klin B. ; Cirstea C. - ISSN 0302-9743 - ISBN 978-3-642-22943-5 Rozsah stran s. 115-129 Poč.str. 15 s. Akce CALCO 2011. International Conference /4./ Datum konání 30.08.2011-02.09.2011 Místo konání Winchester Země GB - Velká Británie Typ akce WRD Jazyk dok. eng - angličtina Země vyd. DE - Německo Klíč. slova relation lifting ; exact squares ; monotone relation ; coalgebraic logic Vědní obor RIV BA - Obecná matematika CEP GAP202/11/1632 GA ČR - Grantová agentura ČR CEZ AV0Z10300504 - UIVT-O (2005-2011) EID SCOPUS 80053019499 DOI 10.1007/978-3-642-22944-2_9 Anotace The category Rel(Set) of sets and relations can be described as a category of spans and as the Kleisli category for the powerset monad. A set-functor can be lifted to a functor on Rel(Set) iff it preserves weak pullbacks. We show that these results extend to the enriched setting, if we replace sets by posets or preorders. Preservation of weak pullbacks becomes preservation of exact lax squares. As an application we present Moss’s coalgeraic logic over posets. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2012
Počet záznamů: 1