5 citations · 11 across the 12 of their papers we have counts for
Showing math.CTShow all
3 papers · 1 filter
math.CT2026
A model structure for cartesian 2-fibrations
Cesar Bardomiano Martinez, Jana K. Nickel, Maru Sarazola +3
Cartesian 2-fibrations provide a way to understand indexed categories, but their classical ``straightening'' construction requires several layers of weak coherence data. This paper…
math.CT2025
On the equivalence invariance of formal category theory
Paula Verdugo
We prove a result of equivalence invariance of formal category theory for statements that can be expressed within an equipment. To do this, we exploit Henry and Bardomiano Martínez…
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…