J 2005

Operations and equations for coalgebras

KURZ, A. a J. ROSICKÝ

Základní údaje

Originální název

Operations and equations for coalgebras

Název česky

Operace a rovnosti pro koalgebry

Autoři

KURZ, A. a J. ROSICKÝ

Vydání

Mathematical Structures in Computer Science, 2005, 0960-1295

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10101 Pure mathematics

Stát vydavatele

Velká Británie a Severní Irsko

Utajení

není předmětem státního či obchodního tajemství

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14310/05:00012604

Organizační jednotka

Přírodovědecká fakulta

UT WoS

Klíčová slova anglicky

operation; coequation; coalgebra

Štítky

Změněno: 19. 6. 2009 17:07, prof. RNDr. Jiří Rosický, DrSc.

Anotace

ORIG CZ

V originále

We show how coalgebras can be presented by operations and coequations. We prove a general co-Birkhoff theorem describing covarieties of coalgebras by means of coequations.

Česky

Je ukázáno, že koalgebry lze popsat pomocí operací a korovnic. Je dokázána obecná ko-Birkhoffova věta popisující kovariety koalgeber pomocí korovnic.

Návaznosti

GA201/02/0148, projekt VaV
Název: Kategoriální metody teorie struktur a informatiky
Investor: Grantová agentura ČR, Kategoriální metody teorie struktur a informatiky
MSM 143100009, záměr
Název: Matematické struktury algebry a geometrie
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Matematické struktury algebry a geometrie