 The original result used much weaker hypotheses on F,  using notions which we did not define, so  our statement is rather weaker than in Aczel’s book.   Several papers have gone on to weaken strengthen this Final Coalgebra Theorem. 