Detail publikačního výsledku

Varieties Defined without Colimits

PAVLÍK, J.

Originální název

Varieties Defined without Colimits

Anglický název

Varieties Defined without Colimits

Druh

Stať ve sborníku v databázi WoS či Scopus

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.

Anglický 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

Klíčová slova v angličtině

category, functor algebra, variety, natural transformation

Autoři

PAVLÍK, J.

Rok RIV

2010

Vydáno

15.07.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

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