1: \begin{abstract}

2:   Profinite semigroups are a generalization of finite semigroups that

3:   come about naturally when one is interested in considering free

4:   structures with respect to classes of finite semigroups. They also

5:   appear naturally through dualization of Boolean algebras of regular

6:   languages. The additional structure is given by a compact

7:   zero-dimensional topology. Profinite topologies may also be

8:   considered on arbitrary abstract semigroups by taking the initial

9:   topology for homomorphisms into finite semigroups. This text is the

10:   proposed chapter of the Handdbook of Automata Theory

11:   dedicated to these topics. The general theory is formulated in the

12:   setting of universal algebra because it is mostly independent of

13:   specific properties of semigroups and more general algebras

14:   naturally appear in this context. In the case of semigroups,

15:   particular attention is devoted to solvability of systems of

16:   equations with respect to a pseudovariety, which is relevant for

17:   solving membership problems for pseudovarieties. Focus is also given

18:   to relatively free profinite semigroups per se,

19:   specially ``large'' ones,

20:   stressing connections with symbolic dynamics that bring light to their structure.

21: \end{abstract}

22: