Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

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