Nima Rasekh
École Polytechnique Fédérale de Lausanne
H-index: 9
Europe-Switzerland
Top articles of Nima Rasekh
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
A homotopy coherent nerve for (∞, n)-categories | Journal of Pure and Applied Algebra | Lyne Moser Nima Rasekh Martina Rovelli | 2024/7/1 |
Insights From Univalent Foundations: A Case Study Using Double Categories | arXiv preprint arXiv:2402.05265 | Nima Rasekh Niels van der Weide Benedikt Ahrens Paige Randall North | 2024/2/7 |
Univalent double categories | Niels Van Der Weide Nima Rasekh Benedikt Ahrens Paige Randall North | 2024/1/9 | |
-Limits I: Definition and first consistency results | arXiv preprint arXiv:2312.11101 | Lyne Moser Nima Rasekh Martina Rovelli | 2023/12/18 |
Formalizing Double-Categories | Nima Rasekh | 2023/11/13 | |
An -categorical straightening-unstraightening construction | arXiv preprint arXiv:2307.07259 | Lyne Moser Nima Rasekh Martina Rovelli | 2023/7/14 |
Finiteness and Internal∞-Categories | Nima Rasekh | 2023/5/17 | |
What is a topological structure? | Nima Rasekh | 2023/2/10 | |
Cartesian fibrations and representability | Homology, Homotopy and Applications | Nima Rasekh | 2022/12 |
Thom spectra, higher THH and tensors in∞–categories | Algebraic & Geometric Topology | Nima Rasekh Bruno Stonek Gabriel Valenzuela | 2022/10/10 |
HIGHER | Nima Rasekh | 2022 | |
Algebraic & Geometric | Algebraic & Geometric Topology | MALTE DEHLING BRUNO VALLETTE | 2021 |
Shadows are bicategorical traces | arXiv preprint arXiv:2109.02144 | Kathryn Hess Nima Rasekh | 2021/9/5 |
Constructing Coproducts in locally Cartesian closed -Categories | arXiv preprint arXiv:2108.11304 | Jonas Frey Nima Rasekh | 2021/8/25 |
Univalence in higher category theory | arXiv preprint arXiv:2103.12762 | Nima Rasekh | 2021/3/23 |
Cartesian fibrations of complete Segal spaces | arXiv preprint arXiv:2102.05190 | Nima Rasekh | 2021/2/9 |
Quasi-categories vs. Segal spaces: Cartesian edition | Journal of Homotopy and Related Structures | Nima Rasekh | 2021/12 |
Filter quotients and non-presentable (∞, 1)-toposes | Journal of Pure and Applied Algebra | Nima Rasekh | 2021/12/1 |
MSC | P Cerone SS Dragomir J Roumeliotis J Šunde | 2022 | |
A Step towards Non-Presentable Models of Homotopy Type Theory | Nima Rasekh | 2020/7/6 |