Result Details

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.
Type
conference paper
Language
English
Authors
Pavlík Jan, Mgr., Ph.D., IM DAAG (FME)
Abstract

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.

Keywords

category, functor algebra, variety, natural transformation

Published
2009
Pages
142–146
Proceedings
Proceedings of the 7th Panhellenic Logic Symposium
Series
PUP
Edition
1
Conference
7th Panhellenic Logic Symposium
ISBN
978-960-530-108-8
Publisher
Patras University Press
Place
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"
}
Departments
Institute of Mathematics (IM)
Back to top