Lectures on the Philosophy of Mathematics

by Joel David Hamkins

In this conception, a natural number is simply a morphism n: 1 → ℕ. The natural numbers object is unique in any topos up to isomorphism, and any such object is able to interpret arithmetic concepts into category theory.