SIFTED COLIMITS, STRONGLY FINITARY MONADS AND CONTINUOUS ALGEBRAS

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F25%3A00389437" target="_blank" >RIV/68407700:21230/25:00389437 - isvavai.cz</a>
Výsledek na webu
<a href="http://www.tac.mta.ca/tac/volumes/44/3/44-03.pdf" target="_blank" >http://www.tac.mta.ca/tac/volumes/44/3/44-03.pdf</a>
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
SIFTED COLIMITS, STRONGLY FINITARY MONADS AND CONTINUOUS ALGEBRAS
Popis výsledku v původním jazyce
We characterize strongly finitary monads on categories Pos, CPO and DCPO as precisely those preserving sifted colimits. Or, equivalently, enriched finitary monads preserving reflexive coinserters. We study sifted colimits in general enriched categories. For CPO and DCPO we characterize varieties of continuous algebras as precisely the monadic categories for strongly finitary monads.
Název v anglickém jazyce
SIFTED COLIMITS, STRONGLY FINITARY MONADS AND CONTINUOUS ALGEBRAS
Popis výsledku anglicky
We characterize strongly finitary monads on categories Pos, CPO and DCPO as precisely those preserving sifted colimits. Or, equivalently, enriched finitary monads preserving reflexive coinserters. We study sifted colimits in general enriched categories. For CPO and DCPO we characterize varieties of continuous algebras as precisely the monadic categories for strongly finitary monads.

Projekt
<a href="/cs/project/GA22-02964S" target="_blank" >GA22-02964S: Obohacené kategorie a jejich aplikace</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2025
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)