10 citations · 25 across the 19 of their papers we have counts for
5 papers · 1 filter
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,…
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…
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…
Bi-initial objects and bi-representations are not so different
Tslil Clingman, Lyne Moser
We introduce a functor extracting from a double category a -category whose objects and morphisms are the vert…
2-limits and 2-terminal objects are too different
tslil clingman, Lyne Moser
In ordinary category theory, limits are known to be equivalent to terminal objects in the slice category of cones. In this paper, we prove that the 2-categorical analogues of this…