Publication detail

Varieties Defined without Colimits

PAVLÍK, J.

Original Title

Varieties Defined without Colimits

Type

conference paper

Language

English

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

category, functor algebra, variety, natural transformation

Authors

PAVLÍK, J.

RIV year

2009

Released

15. 7. 2009

Publisher

Patras University Press

Location

Patras, Řecko

ISBN

978-960-530-108-8

Book

Proceedings of the 7th Panhellenic Logic Symposium

Edition

PUP

Edition number

1

Pages from

142

Pages to

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