13 citations · 50 across the 27 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.CT2023
Univalent Double Categories
Niels van der Weide, Nima Rasekh, Benedikt Ahrens +1
Category theory is a branch of mathematics that provides a formal framework for understanding the relationship between mathematical structures. To this end, a category not only inc…
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)…