Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
PAVLÍK, J.
Originální název
Varieties Defined without Colimits
Typ
článek ve sborníku ve WoS nebo Scopus
Jazyk
angličtina
Originální abstrakt
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.
Klíčová slova
category, functor algebra, variety, natural transformation
Autoři
Rok RIV
2009
Vydáno
15. 7. 2009
Nakladatel
Patras University Press
Místo
Patras, Řecko
ISBN
978-960-530-108-8
Kniha
Proceedings of the 7th Panhellenic Logic Symposium
Edice
PUP
Číslo edice
1
Strany od
142
Strany do
146
Strany počet
5
BibTex
@inproceedings{BUT31350, author="Jan {Pavlík}", title="Varieties Defined without Colimits", booktitle="Proceedings of the 7th Panhellenic Logic Symposium", year="2009", series="PUP", number="1", pages="142--146", publisher="Patras University Press", address="Patras, Řecko", isbn="978-960-530-108-8" }