1: \begin{abstract}
2: Profinite congruences on profinite algebras determining profinite
3: quotients are difficult to describe. In particular, no constructive
4: description is known of the least profinite congruence containing a
5: given binary relation on the algebra. On the other hand, closed
6: congruences and fully invariant congruences can be described
7: constructively. In a previous paper, we conjectured that fully
8: invariant closed congruences on a relatively free profinite algebra
9: are always profinite. Here, we show that our conjecture fails for
10: unary algebras and that closed congruences on relatively free
11: profinite semigroups are not necessarily profinite. As part of our
12: study of unary algebras, we establish an adjunction between
13: profinite unary algebras and profinite monoids. We also show that
14: the Polish representation of the free profinite unary algebra is
15: faithful.
16: \end{abstract}
17: