10 citations · 25 across the 19 of their papers we have counts for
5 papers · 1 filter
-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-…
Internal Grothendieck construction for enriched categories
Lyne Moser, Maru Sarazola, Paula Verdugo
Given a cartesian closed category , we introduce an internal category of elements associated to a -functor $F\colon \mathcal{C}^{\mat…
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)…
A model structure for Grothendieck fibrations
Lyne Moser, Maru Sarazola
We construct two model structures, whose fibrant objects capture the notions of discrete fibrations and of Grothendieck fibrations over a category . For the discrete c…
Fibrantly-transferred model structures
Léonard Guetta, Lyne Moser, Maru Sarazola +1
We develop new techniques for constructing model structures from a given class of cofibrations, together with a class of fibrant objects and a choice of weak equivalences between t…