Detail publikace

Variety definované bez kolimit

PAVLÍK, J.

Český název

Variety definované bez kolimit

Anglický název

Varieties Defined without Colimits

Typ

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

Jazyk

en

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.

Český abstrakt

Definujeme polymerické variety funktorových algeber jako analogie variet funktorových algeber na kokompletních kategoriích a ukazujeme, že tyto přístupy jsou rovnocenné. Dokazujeme, že každá varieta definována množinou identit je konkrétně izomorfní polymerické varietě algeber vhodného funktoru. Pomocí tohoto výsledku získáváme alternativní popis Eilenbergovy-Moorovy kategorie pro volnou monádu.

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 česky

kategorie, funktorová algebra, varieta, přirozená transformace

Klíčová slova anglicky

category, functor algebra, variety, natural transformation

Rok RIV

2009

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

Číslo edice

1

Strany od–do

142–146

Počet stran

5

BIBTEX


@inproceedings{BUT31350,
  author="Jan {Pavlík},
  title="Varieties Defined without Colimits",
  booktitle="Proceedings of the 7th Panhellenic Logic Symposium",
  year="2009",
  month="July",
  pages="142--146",
  publisher="Patras University Press",
  address="Patras, Řecko",
  isbn="978-960-530-108-8"
}