1 citations · 1 across the 2 of their papers we have counts for
8 papers
Univalence in Higher Category Theory
Nima Rasekh
Univalence was first defined in the setting of homotopy type theory by Voevodsky, who also (along with Kapulkin and Lumsdaine) adapted it to a model categorical setting, which was…
Cartesian Fibrations of Complete Segal Spaces
Nima Rasekh
Cartesian fibrations were originally defined by Lurie in the context of quasi-categories and are commonly used in -category theory to study presheaves valued in $(\inft…
The cotangent complex and Thom spectra
Nima Rasekh, Bruno Stonek
The cotangent complex of a map of commutative rings is a central object in deformation theory. Since the 1990s, it has been generalized to the homotopical setting of -rin…
Filter Quotients and Non-Presentable -Toposes
Nima Rasekh
We define filter quotients of -categories and prove that filter quotients preserve the structure of an elementary -topos and in particular lift the filter q…
An Elementary Approach to Truncations
Nima Rasekh
We study truncated objects using elementary methods. Concretely, we use universes and the resulting natural number object to define internal truncation levels and prove they behave…
Yoneda Lemma for Elementary Higher Toposes
Nima Rasekh
We prove the Yoneda lemma inside an elementary higher topos, generalizing the Yonda lemma for spaces.