Abstract
In this paper we propose an axiomatization of the notion of “system of terms of a theory” by means of which we obtain a representation of equational classes (or varieties) of algebras. We define analgebraic transformational system (S.T.A.) as a quadruple (T,v,S,+) satisfying the axioms, where T is a set containing the “variables” v(n), ∀n∈ω, and having operators S(σ): T→T, ∀σ ∈ ωω. In addition there are operations Q+ on T commuting with the operators. A notion of morphism between S.T.A. 's is defined to obtain the category
which is shown to be equivalent to the dual of the category of equational classes. In the last section we establish the equivalence between
and Lawvere's category of algebraic theories in which every definable constant is present.
Similar content being viewed by others
Bibliographie
DAIGNEAULT, A.: Operations in polyadic algebras. Trans. Amer. Math. Soc. 158, 219–229 (1971).
HALL, P.: Some word problems. J. London Math. Soc. 33, 482–496 (1958).
HALMOS, P. R.: Algebraic logic, II. Homogeneous locally finite polyadic Boolean algebras of infinite degree. Fund. Math. 43, 255–325 (1956).
HALMOS, P. R.: Algebraic logic, III. Predicates, terms, and operations in polyadic algebras. Trans. Amer. Math. Soc. 83, 430–470 (1956).
LAWVERE, F. W.: Functorial semantics of algebraic theories. Thèse. Columbia University, New York 1963.
LAWVERE, F. W.: Some algebraic problems in the context of functorial semantics of algebraic theories. New York-Heidelberg-Berlin, Springer Verlag 1968 (Lecture Notes in Mathematics, 61).
LEBLANC, L.: Représentabilité et définissabilité dans les algèbres transformationnelles et dans les algèbres polyadiques. Montréal, Les Presses de l'Université de Montréal 1966 (Séminaire de Mathématiques Supérieures, 24).
NEUMANN, W. D.: Representing varieties of algebras by algebras. Journal Australian Math. Soc. 11, 1–8 (1970).
Author information
Authors and Affiliations
Additional information
Extrait de la Thèse de doctorat de l'auteur, Université de Montréal, 1971.
Rights and permissions
About this article
Cite this article
Sangalli, A.A.L. Une approche transformationnelle a l'algebre universelle. Manuscripta Math 6, 177–205 (1972). https://doi.org/10.1007/BF01369712
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01369712