Article
Full entry |
PDF
(0.5 MB)
Feedback
PDF
(0.5 MB)
Feedback
Keywords:
cocomplete category; free algebra; variety; natural transformation
cocomplete category; free algebra; variety; natural transformation
Summary:
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.
References:
[1] Adámek, J.: Free algebras and automata realizations in the language of categories. Comment. Math. Univ. Carolin. 015 (4) (1974), 589–602. MR 0352209
[2] Adámek, J., Herrlich, H., Strecker, G. E.: Abstract and concrete categories. Free Software Foundation, 1990/2006. MR 1051419
[3] Adámek, J., Porst, H.: From varieties of algebras to covarieties of coalgebras. Math. Structures Comput. Sci. (2001). Zbl 1260.08004
[4] Adámek, J., Rosický, J.: Locally presentable and accessible categories. Cambridge University Press, 1994. MR 1294136
[5] Adámek, J., Trnková, V.: Birkhoff’s variety theorem with and without free algebras. Theory Appl. Categ. 14 (18) (2005), 424–450. MR 2211426 | Zbl 1086.18003
[6] Barr, M.: Coequalizers and free triples. Math. Z. 116 (1970), 307–322. DOI 10.1007/BF01111838 | MR 0272849 | Zbl 0194.01701
[7] Kelly, G. M.: A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on. Bull. Austral. Math. Soc. 22 (1) (1980), 1–83. DOI 10.1017/S0004972700006353 | MR 0589937 | Zbl 0437.18004
[8] MacLane, S.: Categories for the working mathematician. Springer-Verlag, 1971. MR 0354798
[9] Reiterman, J.: One more categorical model of universal algebra. Math. Z. 161 (2) (1978), 137–146. DOI 10.1007/BF01214925 | MR 0498325 | Zbl 0363.18007
[10] Reiterman, J.: On locally small based algebraic theories. Comment. Math. Univ. Carolin. 27 (2) (1986), 325–340. MR 0857552 | Zbl 0598.18003
Search
Partner of
