Počet záznamů: 1

Relation Liftings on Preorders and Posets

  1. 1.
    0368502 - UIVT-O 2012 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
    Bílková, Marta - Kurz, A. - Petrisan, D. - Velebil, J.
    Relation Liftings on Preorders and Posets.
    Algebra and Coalgebra in Computer Science. Berlin: Springer, 2011 - (Corradini, A.; Klin, B.; Cirstea, C.), s. 115-129. Lecture Notes in Computer Science, 6859. ISBN 978-3-642-22943-5. ISSN 0302-9743.
    [CALCO 2011. International Conference /4./. Winchester (GB), 30.08.2011-02.09.2011]
    Grant CEP: GA ČR GAP202/11/1632
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: relation lifting * exact squares * monotone relation * coalgebraic logic
    Kód oboru RIV: BA - Obecná matematika

    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.
    Trvalý link: http://hdl.handle.net/11104/0202829
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0368502.pdf0286.7 KBVydavatelský postprintvyžádat