On elementary (infinity,1)-toposes:
Nima Rasekh, A Theory of Elementary Higher Toposes, (arXiv:1805.03805)
Nima Rasekh, Yoneda Lemma for Elementary Higher Toposes, (arXiv:1809.01736)
Specifically on natural number objects:
Specifically on n-truncation:
Last revised on December 16, 2021 at 16:40:02. See the history of this page for a list of all contributions to it.