Equational presentations of functors and monads
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F11%3A00179251" target="_blank" >RIV/68407700:21230/11:00179251 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1017/S0960129510000575" target="_blank" >http://dx.doi.org/10.1017/S0960129510000575</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1017/S0960129510000575" target="_blank" >10.1017/S0960129510000575</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Equational presentations of functors and monads
Popis výsledku v původním jazyce
We study equational presentations of functors and monads defined on a category K that is equipped by an adjunction F -| U : K -~ X of descent type. We present a class of functors/monads that admit such an equational presentation that involves finitary signatures in X. We apply these results to an equational description of functors arising in various areas of theoretical computer science.
Název v anglickém jazyce
Equational presentations of functors and monads
Popis výsledku anglicky
We study equational presentations of functors and monads defined on a category K that is equipped by an adjunction F -| U : K -~ X of descent type. We present a class of functors/monads that admit such an equational presentation that involves finitary signatures in X. We apply these results to an equational description of functors arising in various areas of theoretical computer science.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
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ů
Údaje specifické pro druh výsledku
Název periodika
Mathematical Structures in Computer Science
ISSN
0960-1295
e-ISSN
—
Svazek periodika
2011
Číslo periodika v rámci svazku
21
Stát vydavatele periodika
GB - Spojené království Velké Británie a Severního Irska
Počet stran výsledku
19
Strana od-do
363-381
Kód UT WoS článku
000289006300006
EID výsledku v databázi Scopus
—