Detail výsledku

Varieties Defined without Colimits

PAVLÍK, J. Varieties Defined without Colimits. In Proceedings of the 7th Panhellenic Logic Symposium. PUP. Patras, Řecko: Patras University Press, 2009. p. 142-146. ISBN: 978-960-530-108-8.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Pavlík Jan, Mgr., Ph.D., ÚM OAAG (FSI)
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

Rok
2009
Strany
142–146
Sborník
Proceedings of the 7th Panhellenic Logic Symposium
Řada
PUP
Vydání
1
Konference
7th Panhellenic Logic Symposium
ISBN
978-960-530-108-8
Vydavatel
Patras University Press
Místo
Patras, Řecko
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"
}
Pracoviště
Ústav matematiky (ÚM)
Nahoru