Abstract
Given a variety V, the free V-algebra F 1 on one generator represents the canonical underlying functor from V to the category Set of sets. Hence one might ask, whether F 1 is, in some sense, a `canonical' generator of V. To make this question precise the notion of `minimal varietal generator' is introduced. It is shown that in many (though not all) varieties F 1 is a generator of this kind, and often even the unique one. The question whether every variety has a (unique) minimal varietal generator, remains on open problem.
Similar content being viewed by others
References
Adámek, J. and Rosický, J.: Locally Presentable and Accessible Categories, Cambridge Univ. Press, Cambridge, 1994.
Barr, M. and Wells, C.: Toposes, Triples and Theories, Springer, 1984.
Börger, R.: Morita equivalence for monads, Mathematik-Arbeitspapiere 47 (1997), 67–76.
Herrlich, H. and Strecker, G. E.: Category Theory, 2nd edn, Heldermann Verlag, 1979.
Isbell, J. R.: Subobjects, adequacy, completeness, and categories of algebras, Rozprawy Matem. 36 (1964).
Jacobson, N.: Basic Algebra, Vol. II, Freeman, 1980.
MacLane, S.: Duality for groups, Bull. Amer. Math. Soc. 56 (1950), 485–516.
Porst, H.-E.: On categories of monoid actions, Quaestiones Math. 10 (1987), 391–411.
Porst, H.-E.: Equivalence of varieties, Preprint, 1998.
Semadeni, Z.: Banach Spaces of Continuous Functions, Warszaw, 1971.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Porst, HE. Minimal Generators in Varieties. Applied Categorical Structures 8, 519–525 (2000). https://doi.org/10.1023/A:1008778128355
Issue Date:
DOI: https://doi.org/10.1023/A:1008778128355