Finitary monads on the category of posets
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F21%3A00357012" target="_blank" >RIV/68407700:21230/21:00357012 - isvavai.cz</a>
Výsledek na webu
<a href="https://doi.org/10.1017/S0960129521000360" target="_blank" >https://doi.org/10.1017/S0960129521000360</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1017/S0960129521000360" target="_blank" >10.1017/S0960129521000360</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Finitary monads on the category of posets
Popis výsledku v původním jazyce
Finitary monads on Pos are characterized as precisely the free-algebra monads of varieties of algebras. These are classes of ordered algebras specified by inequations in context. Analogously, finitary enriched monads on Pos are characterized: here we work with varieties of coherent algebras which means that their operations are monotone.
Název v anglickém jazyce
Finitary monads on the category of posets
Popis výsledku anglicky
Finitary monads on Pos are characterized as precisely the free-algebra monads of varieties of algebras. These are classes of ordered algebras specified by inequations in context. Analogously, finitary enriched monads on Pos are characterized: here we work with varieties of coherent algebras which means that their operations are monotone.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
Návaznosti výsledku
Projekt
<a href="/cs/project/GA19-00902S" target="_blank" >GA19-00902S: Injektivita a monády v algebře a topologii</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2021
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ů
Údaje specifické pro druh výsledku
Název periodika
Mathematical Structures in Computer Science
ISSN
0960-1295
e-ISSN
1469-8072
Svazek periodika
31
Číslo periodika v rámci svazku
7
Stát vydavatele periodika
GB - Spojené království Velké Británie a Severního Irska
Počet stran výsledku
23
Strana od-do
799-821
Kód UT WoS článku
000761768700004
EID výsledku v databázi Scopus
2-s2.0-85120962518