3 papers
math.AT2024
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,…
math.CT2023
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…
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)…