Relation Liftings on Preorders and Posets

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F11%3A00368502" target="_blank" >RIV/67985807:_____/11:00368502 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/68407700:21230/11:00192735
Výsledek na webu
<a href="http://dx.doi.org/10.1007/978-3-642-22944-2_9" target="_blank" >http://dx.doi.org/10.1007/978-3-642-22944-2_9</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-642-22944-2_9" target="_blank" >10.1007/978-3-642-22944-2_9</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Relation Liftings on Preorders and Posets
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Relation Liftings on Preorders and Posets
Popis výsledku anglicky
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.

Projekt
<a href="/cs/project/GAP202%2F11%2F1632" target="_blank" >GAP202/11/1632: Algebraické metody v teorii důkazů</a><br>
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2011
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ů

Podobné výsledky(10)