Publication

Every Elementary Higher Topos Has A Natural Number Object