10 citations · 25 across the 19 of their papers we have counts for
Showing 2023 · math.CTShow all
2 papers · 2 filters
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.CT2023
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…