Free algebras in varieties
Archivum Mathematicum (2010)
- Volume: 046, Issue: 1, page 25-38
- ISSN: 0044-8753
Access Full Article
top
Abstract
topHow to cite
topPavlík, Jan. "Free algebras in varieties." Archivum Mathematicum 046.1 (2010): 25-38. <http://eudml.org/doc/37651>.
@article{Pavlík2010,
abstract = {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.},
author = {Pavlík, Jan},
journal = {Archivum Mathematicum},
keywords = {cocomplete category; free algebra; variety; natural transformation; cocomplete category; free algebra; variety; natural transformation},
language = {eng},
number = {1},
pages = {25-38},
publisher = {Department of Mathematics, Faculty of Science of Masaryk University, Brno},
title = {Free algebras in varieties},
url = {http://eudml.org/doc/37651},
volume = {046},
year = {2010},
}
TY - JOUR
AU - Pavlík, Jan
TI - Free algebras in varieties
JO - Archivum Mathematicum
PY - 2010
PB - Department of Mathematics, Faculty of Science of Masaryk University, Brno
VL - 046
IS - 1
SP - 25
EP - 38
AB - 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.
LA - eng
KW - cocomplete category; free algebra; variety; natural transformation; cocomplete category; free algebra; variety; natural transformation
UR - http://eudml.org/doc/37651
ER -
References
top- Adámek, J., Free algebras and automata realizations in the language of categories, Comment. Math. Univ. Carolin. 015 (4) (1974), 589–602. (1974) MR0352209
- Adámek, J., Herrlich, H., Strecker, G. E., Abstract and concrete categories, Free Software Foundation, 1990/2006. MR1051419
- Adámek, J., Porst, H., From varieties of algebras to covarieties of coalgebras, Math. Structures Comput. Sci. (2001). (2001) Zbl1260.08004
- Adámek, J., Rosický, J., Locally presentable and accessible categories, Cambridge University Press, 1994. (1994) MR1294136
- Adámek, J., Trnková, V., Birkhoff’s variety theorem with and without free algebras, Theory Appl. Categ. 14 (18) (2005), 424–450. (2005) Zbl1086.18003MR2211426
- Barr, M., 10.1007/BF01111838, Math. Z. 116 (1970), 307–322. (1970) Zbl0194.01701MR0272849DOI10.1007/BF01111838
- Kelly, G. M., 10.1017/S0004972700006353, Bull. Austral. Math. Soc. 22 (1) (1980), 1–83. (1980) Zbl0437.18004MR0589937DOI10.1017/S0004972700006353
- MacLane, S., Categories for the working mathematician, Springer-Verlag, 1971. (1971) MR0354798
- Reiterman, J., 10.1007/BF01214925, Math. Z. 161 (2) (1978), 137–146. (1978) Zbl0363.18007MR0498325DOI10.1007/BF01214925
- Reiterman, J., On locally small based algebraic theories, Comment. Math. Univ. Carolin. 27 (2) (1986), 325–340. (1986) Zbl0598.18003MR0857552
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.