Internal Grothendieck construction for enriched categories

Lyne Moser, Maru Sarazola, Paula Verdugo

Given a cartesian closed category $\mathcal{V}$, we introduce an internal category of elements ${\int }_{\mathcal{C}}F$ associated to a $\mathcal{V}$-functor $F\colon \mathcal{C}^{\mat…