Rasekh, Nima
32  results:
Search for persons X
?
1

Univalent Double Categories:

, In: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs,
 
?
2

A homotopy coherent nerve for (∞,n)-categories:

Moser, Lyne ; Rasekh, Nima ; Rovelli, Martina
Journal of Pure and Applied Algebra.  228 (2024)  7 - p. 107620 , 2024
 
?
3

Yoneda Lemma for Simplicial Spaces:

Rasekh, Nima
Applied Categorical Structures.  31 (2023)  4 - p. , 2023
 
?
4

Quasi-categories vs. Segal spaces: Cartesian edition:

Rasekh, Nima
Journal of Homotopy and Related Structures.  16 (2021)  4 - p. 563-604 , 2021
 
?
5

Filter quotients and non-presentable (∞,1)-toposes:

Rasekh, Nima
Journal of Pure and Applied Algebra.  225 (2021)  12 - p. 106770 , 2021
 
?
 
?
7

The cotangent complex and Thom spectra:

Rasekh, Nima ; Stonek, Bruno
Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg.  90 (2020)  2 - p. 229-252 , 2020
 
?
 
?
 
1-15