Abstract

Summary. The basic purpose of the paper is to prepare preliminaries of the theory of many sorted algebras. The concept of the signature of a many sorted algebra is introduced as well as the concept of many sorted algebra itself. Some auxiliary related notions are defined. The correspondence between (1 sorted) universal algebras [8] and many sorted algebras with one sort only is described by introducing two functors mapping one into the other. The construction is done this way that the composition of both functors is the identity on universal algebras.

Citations

1274	Tarski Grothendieck set theory - Trybulec - 1989
1237	Functions and their basic properties - Byliński - 1989
1164	Properties of subsets - Trybulec - 1989
991	Functions from a set to a set - Byliński - 1989
971	Relations and their basic properties - Woronowicz - 1989
413	Partial functions - Byliński - 1990
370	Subsets of real numbers - Trybulec
281	Finite sequences and tuples of elements of a non-empty sets - Byliński - 1990
259	Pigeon hole principle - Trybulec - 1990
246	Binary operations applied to functions - Trybulec - 1990
224	König’s theorem - Bancerek - 1990
193	Many-sorted sets - Trybulec - 1993
91	Group and field definitions - Białas - 1990
51	Group and field definitions - Bialas - 1990
29	Ma̷lgorzata Korolkiewicz. Basic notation of universal algebra - Kotowicz, Madras - 1992
15	Maximal discrete subspaces of almost discrete topological spaces - Karno - 1993