Detail publikace

Varieties Defined without Colimits

PAVLÍK, J.

Originální název

Varieties Defined without Colimits

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální 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

Autoři

PAVLÍK, J.

Rok RIV

2009

Vydáno

15. 7. 2009

Nakladatel

Patras University Press

Místo

Patras, Řecko

ISBN

978-960-530-108-8

Kniha

Proceedings of the 7th Panhellenic Logic Symposium

Edice

PUP

Číslo edice

1

Strany od

142

Strany do

146

Strany počet

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