6 papers
-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-…
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…
Modeling -categories with Segal spaces
Lyne Moser, Joost Nuiten
In this paper, we construct a model structure for -categories on the category of simplicial spaces, whose fibrant objects are the Segal spaces. In particular, we show t…
Double categorical equivalences
Lyne Moser, Maru Sarazola, Paula Verdugo
We present an efficient and user-friendly method for constructing any cofibrantly generated model structure on the category of double categories whose trivial fibrations are the "c…
Double categorical model of -categories
Léonard Guetta, Lyne Moser
Building on work by Fiore-Pronk-Paoli, we construct four model structures on the category of double categories, each modeling one of the following: simplicial spaces, Segal spaces,…
Yoneda lemma and representation theorem for double categories
Benedikt Fröhlich, Lyne Moser
We study (vertically) normal lax double functors valued in the weak double category of small categories, functors, profunctors and natural transformations,…