%0 Journal Article
%A Nima Rasekh
%T Every elementary higher topos has a natural number object
%J Theory and applications of categories
%D 2021
%P 337-377
%V 37
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2021_37_a12/
%G en
%F TAC_2021_37_a12