Publication detail

Varieties Defined without Colimits

PAVLÍK, J.

English title

Varieties Defined without Colimits

Type

Paper in proceedings (conference paper)

Language

en

Original 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 in English

category, functor algebra, variety, natural transformation

Released

2009-07-15

Publisher

Patras University Press

Location

Patras, Řecko

ISBN

978-960-530-108-8

Book

Proceedings of the 7th Panhellenic Logic Symposium

Pages from–to

142–146

Pages count

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"
}