3 papers
math.CT2024
A model for the coherent walking -equivalence
Amar Hadzihasanovic, Félix Loubaton, Viktoriya Ozornova +1
We prove that a certain -category, which was constructed in previous work by the third and fourth author, is a model for the fully coherent walking -equivalence. Further, app…
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…