Detail publikace
Varieties Defined without Colimits
PAVLÍK, J.
Anglický název
Varieties Defined without Colimits
Typ
Stať ve sborníku v databázi WoS či Scopus
Jazyk
en
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 anglicky
category, functor algebra, variety, natural transformation
Vydáno
2009-07-15
Nakladatel
Patras University Press
Místo
Patras, Řecko
ISBN
978-960-530-108-8
Kniha
Proceedings of the 7th Panhellenic Logic Symposium
Strany od–do
142–146
Počet stran
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"
}