Publication result detail

Varieties Defined without Colimits

PAVLÍK, J.

Original Title

Varieties Defined without Colimits

English Title

Varieties Defined without Colimits

Type

Paper in proceedings (conference paper)

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.

English 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

Key words in English

category, functor algebra, variety, natural transformation

Authors

PAVLÍK, J.

RIV year

2010

Released

15.07.2009

Publisher

Patras University Press

Location

Patras, Řecko

ISBN

978-960-530-108-8

Book

Proceedings of the 7th Panhellenic Logic Symposium

Edition

PUP

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