Detail publikace
Volné algebry ve varietách
PAVLÍK, J.
Český název
Volné algebry ve varietách
Anglický název
Free algebras in varieties
Typ
článek v časopise - ostatní, Jost
Jazyk
en
Originální abstrakt
We define varieties of algebras for an arbitrary endofunctor on a cocomplete category using pairs of natural transformations. This approach is proved to be equivalent to one of equational classes defined by equation arrows. Free algebras in the varieties are investigated and their existence is proved under the assumptions of accessibility.
Český abstrakt
Pomocí dvojic přirozených transformací definujeme variety algeber pro libovolný endofunktor na kokompletní kategorii. Je tu dokázáno, že tento přístup je rovnocenný s popisem pomocí rovnicových šipek. Studujeme volné algebry ve varietách je dokázána jejich existence za předpokladů dosažitelnosti identit.
Anglický abstrakt
We define varieties of algebras for an arbitrary endofunctor on a cocomplete category using pairs of natural transformations. This approach is proved to be equivalent to one of equational classes defined by equation arrows. Free algebras in the varieties are investigated and their existence is proved under the assumptions of accessibility.
Klíčová slova česky
kokompletní kategorie; volná algebra; varieta; přirozená transformace
Klíčová slova anglicky
cocomplete category; free algebra; variety; natural transformation
Rok RIV
2010
Vydáno
01.01.2010
Nakladatel
Masarykova univerzita
Místo
Brno
ISSN
1212-5059
Časopis
Archivum Mathematicum
Ročník
46
Číslo
1
Strany od–do
25–38
Počet stran
14
BIBTEX
@article{BUT49132,
author="Jan {Pavlík},
title="Free algebras in varieties",
journal="Archivum Mathematicum",
year="2010",
volume="46",
number="1",
month="January",
pages="25--38",
publisher="Masarykova univerzita",
address="Brno",
issn="1212-5059"
}