 To see this in detail, we return to the functor  Fx = x + 1  on Set. We saw the algebra  (N, s)   above.    We claim that this is an initial algebra. What this means is that for any algebra    (A, a), there is a unique algebra morphism  h :  (N, s)  →  (N, s).    That is, the diagram below commutes: 