Varieties Defined without Colimits

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26210%2F09%3APU81304" target="_blank" >RIV/00216305:26210/09:PU81304 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Varieties Defined without Colimits
Original language description
We define polymeric varieties of algebras for a functor as an analogy of varieties of functor algebras on a cocomplete category and we show that these concepts are compatible. Every variety induced by a set of identities is then proved to be concretely isomorphic to a polymeric variety for some functor. Using the result we obtain an alternative description of Eilenberg-Moore category for a free monad.
Czech name
Variety definované bez kolimit
Czech description
Definujeme polymerické variety funktorových algeber jako analogie variet funktorových algeber na kokompletních kategoriích a ukazujeme, že tyto přístupy jsou rovnocenné. Dokazujeme, že každá varieta definována množinou identit je konkrétně izomorfní polymerické varietě algeber vhodného funktoru. Pomocí tohoto výsledku získáváme alternativní popis Eilenbergovy-Moorovy kategorie pro volnou monádu.

Publication year
2009
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings of the 7th Panhellenic Logic Symposium
ISBN
978-960-530-108-8
ISSN
—
e-ISSN
—
Number of pages
5
Pages from-to
—
Publisher name
Patras University Press
Place of publication
Patras, Řecko
Event location
Patras
Event date
Jul 15, 2009
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)