KURZ, A. a J. ROSICKÝ. Operations and equations for coalgebras. Mathematical Structures in Computer Science. 2005, roč. 15, č. 1, s. 149-166. ISSN 0960-1295.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Operations and equations for coalgebras
Název česky Operace a rovnosti pro koalgebry
Autoři KURZ, A. (276 Německo) a J. ROSICKÝ (203 Česká republika, garant).
Vydání Mathematical Structures in Computer Science, 2005, 0960-1295.
Další údaje
Originální 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í
Kód RIV RIV/00216224:14310/05:00012604
Organizační jednotka Přírodovědecká fakulta
UT WoS 000228526800004
Klíčová slova anglicky operation; coequation; coalgebra
Štítky coalgebra, coequation, operation
Změnil Změnil: prof. RNDr. Jiří Rosický, DrSc., učo 2634. Změněno: 19. 6. 2009 17:07.
Anotace
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.
Anotace č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 VaVNázev: Kategoriální metody teorie struktur a informatiky
Investor: Grantová agentura ČR, Kategoriální metody teorie struktur a informatiky
MSM 143100009, záměrNázev: Matematické struktury algebry a geometrie
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Matematické struktury algebry a geometrie
VytisknoutZobrazeno: 18. 9. 2024 23:02