Abstract
Subdirect representations are investigated in varieties which are defined by operations of not necessarily finite arity. It is shown that, in this context, Birkhoff's Subdirect Representation Theorem does not hold. However, a class of unranked varieties is identified which admit subdirect representations by subdirectly irreducibles and are even residually small.
Similar content being viewed by others
References
Burris, S. and Sankappanavar, H. P.: A Course in Universal Algebra, Springer, 1981.
Adámek, J. and Porst, H.-E.: On varieties and covarieties in a category, Math. Structures Comput. Sci. 13 (2003), 201–232.
Adámek, J. and Porst, H.-E.: On tree coalgebras and coalgebra presentations, in Theoret. Comput. Sci., to appear.
Gabriel, P. and Ulmer, F.: Lokal präsentierbare Kategorien, Lecture Notes in Mathematics 221, Springer-Verlag, Berlin, 1971.
Manes, E. G.: Algebraic Theories, Springer, 1976.
Gumm, H. P. and Schröder, T.: Covarieties and complete covarieties, Electron. Notes Theor. Comput. Sci. 11 (1998).
Tholen, W.: Birkhoff's theorem for categories, in B. Banaschewski (ed.), Categorical Aspects of Topology and Analysis, Lecture Notes in Mathematics 915, Springer, 1982, pp. 351–357.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Porst, HE. Residually Small Varieties Without Rank. Applied Categorical Structures 12, 355–360 (2004). https://doi.org/10.1023/B:APCS.0000040385.40141.da
Issue Date:
DOI: https://doi.org/10.1023/B:APCS.0000040385.40141.da