Natural numbers objects and free algebras