13 citations · 50 across the 27 of their papers we have counts for
30 papers
Fractured Structures in Condensed Mathematics
Nima Rasekh, Qi Zhu
We construct a fractured structure, in the sense of Lurie, on the -topos of condensed anima. This fractured structure allows us to better comprehend various properties of c…
Simplicial Homotopy Type Theory is not just Simplicial: What are -Categories?
Nima Rasekh
-category theory was originally developed in the context of classical homotopy theory using standard set theoretical assumptions, but has since been extended to a variety o…
Non-Standard Models of Homotopy Type Theory
Nima Rasekh
Homotopy type theory is a modern foundation for mathematics that introduces the univalence axiom and is particularly suitable for the study of homotopical mathematics and its forma…
Filter Quotient Model Structures
Nima Rasekh
The filter quotient construction is a particular instance of a filtered colimit of categories. It has primarily been considered in the context of categorical logic, where it has be…
Cosmological Unstraightening
Nima Rasekh
The unstraightening construction due to Lurie establishes an equivalence between presheaves and fibrations, using one prominent model of -categories, namely quasi-categ…
-Limits II: Comparison across models
Lyne Moser, Martina Rovelli, Nima Rasekh
We show that the notion of -limit defined using the enriched approach and the one defined using the internal approach coincide. We also give explicit constructions of v…