is there a modified version of the concept of "natural number object" in a topos which would have the same relationship to iterating the "partial map classifier" functor as the usual version has to iterating the functor "coproduct with 1"? i imagine that someone has looked at this... i vaguely wonder whether it might relate somehow to "alternate topologies on the natural numbers"... not sure how much sense this actually makes...