  In 1957, N. G. de Bruijn showed that the symmetric group Sym(\Omega) on an
infinite set \Omega contains a free subgroup on 2^{card(\Omega)} generators,
and proved a more general statement, a sample consequence of which is that for
any group A of cardinality \leq card(\Omega), Sym(\Omega) contains a coproduct
of 2^{card(\Omega)} copies of A, not only in the variety of all groups, but in
any variety of groups to which A belongs. His key lemma is here generalized to
an arbitrary variety of algebras \bf{V}, and formulated as a statement about
functors Set --> \bf{V}. From this one easily obtains analogs of the results
stated above with "group" and Sym(\Omega) replaced by "monoid" and the monoid
Self(\Omega) of endomaps of \Omega, by "associative K-algebra" and the
K-algebra End_K(V) of endomorphisms of a K-vector-space V with basis \Omega,
and by "lattice" and the lattice Equiv(\Omega) of equivalence relations on
\Omega. It is also shown, extending another result from de Bruijn's 1957 paper,
that each of Sym(\Omega), Self(\Omega) and End_K (V) contains a coproduct of
2^{card(\Omega)} copies of itself.
  That paper also gave an example of a group of cardinality 2^{card(\Omega)}
that was {\em not} embeddable in Sym(\Omega), and R. McKenzie subsequently
established a large class of such examples. Those results are shown to be
instances of a general property of the lattice of solution sets in Sym(\Omega)
of sets of equations with constants in Sym(\Omega). Again, similar results --
this time of varying strengths -- are obtained for Self(\Omega), End_K (V), and
Equiv(\Omega), and also for the monoid \Rel of binary relations on \Omega.
  Many open questions and areas for further investigation are noted.
