Voir la notice de l'article provenant de la source Theory and Applications of Categories website
@article{TAC_2021_37_a12, author = {Nima Rasekh}, title = {Every elementary higher topos has a natural number object}, journal = {Theory and applications of categories}, pages = {337--377}, publisher = {mathdoc}, volume = {37}, year = {2021}, language = {en}, url = {http://geodesic.mathdoc.fr/item/TAC_2021_37_a12/} }
Nima Rasekh. Every elementary higher topos has a natural number object. Theory and applications of categories, Tome 37 (2021), pp. 337-377. http://geodesic.mathdoc.fr/item/TAC_2021_37_a12/