10 citations · 25 across the 19 of their papers we have counts for
6 papers · 1 filter
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…
A double -categorical nerve for double categories
Lyne Moser
We construct a nerve from double categories into double -categories and show that it gives a right Quillen and homotopically fully faithful functor between the model st…
A model structure for weakly horizontally invariant double categories
Lyne Moser, Maru Sarazola, Paula Verdugo
We construct a model structure on the category of double categories and double functors, whose trivial fibrations are the double functors that are surjective on o…
A 2Cat-inspired model structure for double categories
Lyne Moser, Maru Sarazola, Paula Verdugo
We construct a model structure on the category of double categories and double functors. Unlike previous model structures for double categories, it recovers the h…
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…
Stable homotopy hypothesis in the Tamsamani model
Lyne Moser, Viktoriya Ozornova, Simona Paoli +2
We prove that symmetric monoidal weak n-groupoids in the Tamsamani model provide a model for stable n-types. Moreover, we recover the classical statement that Picard categories mod…