16 citations · 42 across the 28 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
math.AT2023
-Limits I: Definition and first consistency results
Lyne Moser, Nima Rasekh, Martina Rovelli
We give a model-independent definition of limits for diagrams valued in an -category. We show that this definition is compatible with the existing notion of homotopy 2-…
math.AT2023
An -categorical straightening-unstraightening construction
Lyne Moser, Nima Rasekh, Martina Rovelli
We provide an -categorical version of the straightening-unstraightening construction, asserting an equivalence between the -category of double $(\infty,n-1)…
math.AT2023
What is an equivalence in a higher category?
Viktoriya Ozornova, Martina Rovelli
The purpose of this survey is to present in a uniform way the notion of equivalence between strict -categories or -categories, and inside a strict -category o…