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:
Discussion of straightening and unstraightening for (∞,n)-categories:
On fractured -toposes in condensed mathematics (cf. condensed local contractibility):
Last revised on October 28, 2023 at 09:53:52. See the history of this page for a list of all contributions to it.