nLab Nima Rasekh

• personal page

• GoogleScholar page

• MathGenealogy page

Selected writings

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:

• Nima Rasekh, Every Elementary Higher Topos has a Natural Number Object, Theory and Applications of Categories 37 13 (2021) 337-377. (arXiv:1809.01734, tac:37-13)

On models of homotopy type theory which are not Grothendieck $(\infty, 1)$-toposes:

• Nima Rasekh, Non-Standard Models of Homotopy Type Theory [2508.07736]

Specifically on n-truncation:

• Nima Rasekh, An Elementary Approach to Truncations (arXiv:1812.10527)

Discussion of straightening and unstraightening for (∞,n)-categories:

• Lyne Moser, Nima Rasekh, Martina Rovelli, An (∞,n)-categorical straightening-unstraightening construction (arXiv:2307.07259).

On fractured $\infty$-toposes in condensed mathematics (cf. condensed local contractibility):

• Nima Rasekh, What is a topological structure?, talk notes (April 2023) [pdf, pdf]

On the twisted arrow construction in (infinity,1)-category theory:

• Chirantan Mukherjee, Nima Rasekh, Twisted Arrow Construction for Segal Spaces (arXiv:2203.01788)

For the concept of a universal shadow of a bicategory and an extension of shadows to (∞,2)-categories, see

• Kathryn Hess, Nima Rasekh, Shadows are Bicategorical Traces [arXiv:2109.02144]

On filter quotients of model categories:

• Nima Rasekh, Filter Quotient Model Structures [arXiv:2508.07735]

On simplicial homotopy type theory:

• Nima Rasekh, Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories? [arXiv:2508.07737]

Related entries

• elementary (infinity,1)-topos

category: people