Abstract
In [2] Linton introduced the notion of theory in such a way that he was able to indicate explicitly the leftadjoint of the underlying functor from the category of algebras over the theory in the sets. His method defines, in the case of the restriction on a r-ary theory [2] or a algebraische Theorie der Dimension r [3] (r an infinite cardinal number), the leftadjoint only for sets with cardinality less than r. In this paper it will be purely categorically shown what from the point of view of universal algebra is wellknown, that the remaining free algebras over a given r-ary theory can be obtained as injective limits of free algebras over sets with cardinality less than r. The proof stems from the following two observations: first that all sets are injective limits of the r-directed system of their subsets with cardinality less than r and secondly that for all sets m with cardinality less than r the Hom-functor <m,> preserves injective limits of r-directed systems of sets. In an appendix the endofunctors of the category of sets which preserve injective limits of r-directed systems of sets are characterized by the same property that the functor-part of a triple in the sets has by definition, if r is the rank of the triple [4].
Similar content being viewed by others
Literatur
FELSCHER, W.: Birkhoffsche und kategorische Algebra. Math. Ann.180, 1–25 (1969).
LINTON, F.E.J.: Some aspects of equational categories. Proc. of the Conference on Categorical Algebra. La Jolla 1965. pp. 84–94. Berlin-Heidelberg-New York: Springer 1966.
MANES, E.: A triple miscellany: Some aspects of the theory of algebra over a triple, dissertation, Wesleyan Univ. 1967.
VOLGER, H.: Über die Existenz von freien Algebren. Math. Zeitschr.106, 312–320 (1968).
Author information
Authors and Affiliations
Additional information
Supported by the National Research Council of Canada
Rights and permissions
About this article
Cite this article
Schumacher, D. Zur Existenz freier Algebren einer r-dimensionalen Theorie. Manuscripta Math 3, 227–236 (1970). https://doi.org/10.1007/BF01338657
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01338657