Implication Details
Claim: If a category is one-way and has a terminal object, then it has a natural numbers object.
Proof: This follows from Lemma 3 here.
Claim: If a category is one-way and has a terminal object, then it has a natural numbers object.
Proof: This follows from Lemma 3 here.