13 citations · 50 across the 27 of their papers we have counts for
6 papers · 1 filter
Shadows are Bicategorical Traces
Kathryn Hess, Nima Rasekh
Hochschild homology has proved to be an important invariant in algebra and homotopy theory, in particular due to its relevance in algebraic -theory and fixed point theory, leadi…
Yoneda Lemma for -Simplicial Spaces
Nima Rasekh
For a small category we define fibrations of simplicial presheaves on the category , which we call localized -left fibration. We show…
Constructing Coproducts in locally Cartesian closed -Categories
Jonas Frey, Nima Rasekh
We prove that every locally Cartesian closed -category with subobject classifier has a strict initial object and disjoint and universal binary coproducts.
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…
Quasi-Categories vs. Segal Spaces: Cartesian Edition
Nima Rasekh
We prove that four different ways of defining Cartesian fibrations and the Cartesian model structure are all Quillen equivalent: On marked simplicial sets, on bisimplicial spaces,…