arXiv subjects
Publications and source records attributed to Lyne Moser.
We give a model-independent definition of limits for diagrams valued in an $(\infty,n)$-category. We show that this definition is compatible with the existing notion of homotopy 2-limits for 2-categories, with the existing notion of $(\infty,1)$-limits for $(\infty,1)$-categories, and with itself across different values of $n$.
We develop new techniques for constructing model structures from a given class of cofibrations, together with a class of fibrant objects and a choice of weak equivalences between them. As a special case, we obtain a more flexible version of the classical right-transfer theorem in the presence of an adjunction. Namely, instead of lifting the classes of fibrations and weak equivalences through the right adjoint, we now only do so between fibrant objects, which allows for a wider class of applications.
In this paper, we construct a model structure for $(\infty,1)$-categories on the category of simplicial spaces, whose fibrant objects are the Segal spaces. In particular, we show that it is Quillen equivalent to the models of $(\infty,1)$-categories given by complete Segal spaces and Segal categories. We furthermore prove that this model structure has desirable properties: it is cartesian closed and left proper. As applications, we get a simple description of the inclusion of categories into $(\infty,1)$-categories and of homotopy limits of $(\infty,1)$-categories.
We present an efficient and user-friendly method for constructing any cofibrantly generated model structure on the category of double categories whose trivial fibrations are the "canonical" ones: the double functors which are surjective on objects, full on both horizontal and vertical morphisms, and fully faithful on squares. We show that all of these model structures are left proper and that they are localizations of the gregarious model structure introduced by Campbell. As a notable consequence, this identifies the gregarious weak equivalences as the "canonical" equivalences of double categories, an elusive notion thus far. Moreover, the nature of our method gives an explicit description of the fibrant objects in terms of lifting conditions. We use this to recover several known model structures, as well as construct several new examples whose homotopy theories encode a range of $2$-dimensional structures.
Building on work by Fiore-Pronk-Paoli, we construct four model structures on the category of double categories, each modeling one of the following: simplicial spaces, Segal spaces, $(\infty,1)$-categories, and $\infty$-groupoids. Additionally, we provide an explicit formula for computing homotopy colimits in these models using the Grothendieck construction. We expect the model of double categories for $(\infty,1)$-categories to play a similar role than that of the model of categories for spaces or $\infty$-groupoids in Grothendieck's study of the homotopy theory of spaces.
We study (vertically) normal lax double functors valued in the weak double category $\mathbb{C}\mathrm{at}$ of small categories, functors, profunctors and natural transformations, which we refer to as lax double presheaves. We show that for the theory of double categories they play a similar role as 2-functors valued in $\mathrm{Cat}$ for 2-categories. We first introduce representable lax double presheaves and establish a Yoneda lemma. Then we build a Grothendieck construction which gives a 2-equivalence between lax double presheaves and discrete double fibrations over a fixed double category. Finally, we prove a representation theorem showing that a lax double presheaf is represented by an object if and only if its Grothendieck construction has a double terminal object.
We show that the notion of $(\infty,n)$-limit defined using the enriched approach and the one defined using the internal approach coincide. We also give explicit constructions of various double $(\infty,n-1)$-categories implementing various join constructions, slice constructions and cone constructions, and study their properties. We further prove that key examples of $(\infty,n)$-categories are (co)complete.
We construct two model structures, whose fibrant objects capture the notions of discrete fibrations and of Grothendieck fibrations over a category $\mathcal{C}$. For the discrete case, we build a model structure on the slice $\mathrm{Cat}_{/\mathcal{C}}$, Quillen equivalent to the projective model structure on $[\mathcal{C}^{\mathrm{op}},\mathrm{Set}]$ via the classical category of elements construction. The cartesian case requires the use of markings, and we define a model structure on the slice $\mathrm{Cat}^+_{/\mathcal{C}}$, Quillen equivalent to the projective model structure on $[\mathcal{C}^{\mathrm{op}},\mathrm{Cat}]$ via a marked version of the Grothendieck construction. We further show that both of these model structures have the expected interactions with their $\infty$-counterparts; namely, with the contravariant model structure on $\mathrm{sSet}_{/ N\mathcal{C}}$ and with Lurie's cartesian model structure on $\mathrm{sSet}^+_{/ N\mathcal{C}}$.
We construct a nerve from double categories into double $(\infty,1)$-categories and show that it gives a right Quillen and homotopically fully faithful functor between the model structure for weakly horizontally invariant double categories and the model structure on bisimplicial spaces for double $(\infty,1)$-categories seen as double Segal objects in spaces complete in the horizontal direction. We then restrict the nerve along a homotopical horizontal embedding of 2-categories into double categories, and show that it gives a right Quillen and homotopically fully faithful functor between Lack's model structure for 2-categories and the model structure for 2-fold complete Segal spaces. We further show that Lack's model structure is right-induced along this nerve from the model structure for 2-fold complete Segal spaces.
In the case of $(\infty,1)$-categories, the homotopy coherent nerve gives a right Quillen equivalence between the models of simplicially enriched categories and of quasi-categories. This shows that homotopy coherent diagrams of $(\infty,1)$-categories can equivalently be defined as functors of quasi-categories or as simplicially enriched functors out of the homotopy coherent categorifications. In this paper, we construct a homotopy coherent nerve for $(\infty,n)$-categories. We show that it realizes a right Quillen equivalence between the models of categories strictly enriched in $(\infty,n-1)$-categories and of Segal category objects in $(\infty,n-1)$-categories. This similarly enables us to define homotopy coherent diagrams of $(\infty,n)$-categories equivalently as functors of Segal category objects or as strictly enriched functors out of the homotopy coherent categorifications.
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}^{\mathrm{op}}\to \mathcal{V}$. When $\mathcal{V}$ is extensive, we show that this internal Grothendieck construction gives an equivalence of categories between $\mathcal{V}$-functors $\mathcal{C}^{\mathrm{op}}\to \mathcal{V}$ and internal discrete fibrations over $\mathcal{C}$, which can be promoted to an equivalence of $\mathcal{V}$-categories. Using this construction, we prove a representation theorem for $\mathcal{V}$-categories, stating that a $\mathcal{V}$-functor $F\colon \mathcal{C}^{\mathrm{op}}\to \mathcal{V}$ is $\mathcal{V}$-representable if and only if its internal category of elements $\int_\mathcal{C} F$ has an internal terminal object. We further obtain a characterization formulated completely in terms of $\mathcal{V}$-categories using shifted $\mathcal{V}$-categories of elements. Moreover, in the presence of $\mathcal{V}$-tensors, we show that it is enough to consider $\mathcal{V}$-terminal objects in the underlying $\mathcal{V}$-category $\mathrm{Und}\int_\mathcal{C} F$ to test the representability of a $\mathcal{V}$-functor $F$. We apply these results to the study of weighted $\mathcal{V}$-limits, and also obtain a novel result describing weighted $\mathcal{V}$-limits as certain conical internal limits.
We provide an $(\infty,n)$-categorical version of the straightening-unstraightening construction, asserting an equivalence between the $(\infty,n)$-category of double $(\infty,n-1)$-right fibrations over an $(\infty,n)$-category $\mathcal{C}$ and that of the $(\infty,n)$-functors from $\mathcal{C}$ valued in $(\infty,n-1)$-categories. We realize this in the form of a Quillen equivalence between appropriate model structures; on the one hand, a model structure for double $(\infty,n-1)$-right fibrations over a generic precategory object $W$ in $(\infty,n-1)$-categories and, on the other hand, a model structure for $(\infty,n)$-functors from its homotopy coherent categorification $\mathfrak{C} W$ valued in $(\infty,n-1)$-categories.
For most models of $(\infty,2)$-categories an embedding of the $\infty$-category of 2-categories into that of $(\infty,2)$-categories has been constructed in the form of a nerve construction of some flavor. We prove that all those nerve embeddings induce equivalent functors, modulo change of model. We also show that all the nerve embeddings realize the $\infty$-category of 2-categories as the sub-$\infty$-category of $(\infty,2)$-categories that are local with respect to a certain class of maps.
We introduce a functor $\mathcal V\colon \mathrm{DblCat}_{h,nps}\to \mathrm{2Cat}_{h,nps}$ extracting from a double category a $2$-category whose objects and morphisms are the vertical morphisms and squares. We give a characterisation of bi-representations of a normal pseudo-functor $F\colon \mathbf C^{\operatorname{op}}\to \mathrm{Cat}$ in terms of double bi-initial objects in the double category $\mathbb{E}l(F)$ of elements of $F$, or equivalently as bi-initial objects of a special form in the $2$-category $\mathcal V\mathbb{E}l(F)$ of morphisms of $F$. Although not true in general, in the special case where the $2$-category $\mathbf C$ has tensors by the category $\mathbf{2}=\{0\to 1\}$ and $F$ preserves those tensors, we show that a bi-representation of $F$ is then precisely a bi-initial object in the $2$-category $\mathbf{E}l(F)$ of elements of $F$. We give applications of this theory to bi-adjunctions and weighted bi-limits.
We construct a model structure on the category $\mathrm{DblCat}$ of double categories and double functors. Unlike previous model structures for double categories, it recovers the homotopy theory of 2-categories through the horizontal embedding $\mathbb{H}\colon2\mathrm{Cat}\to\mathrm{DblCat}$, which is both left and right Quillen, and homotopically fully faithful. Furthermore, we show that Lack's model structure on $2\mathrm{Cat}$ is both left- and right-induced along $\mathbb{H}$ from our model structure on $\mathrm{DblCat}$. In addition, we obtain a $2\mathrm{Cat}$-enrichment of our model structure on $\mathrm{DblCat}$, by using a variant of the Gray tensor product. Under certain conditions, we prove a Whitehead theorem, characterizing our weak equivalences as the double functors which admit an inverse pseudo double functor up to horizontal pseudo natural equivalence. This retrieves the Whitehead theorem for 2-categories. Analogous statements hold for the category $\mathrm{wkDblCat}_s$ of weak double categories and strict double functors, whose homotopy theory recovers that of bicategories. Moreover, we show that the full embedding $\mathrm{DblCat}\to\mathrm{wkDblCat}_s$ is a Quillen equivalence.
We construct a model structure on the category $\mathrm{DblCat}$ of double categories and double functors, whose trivial fibrations are the double functors that are surjective on objects, full on horizontal and vertical morphisms, and fully faithful on squares; and whose fibrant objects are the weakly horizontally invariant double categories. We show that the functor $\mathbb H^{\simeq}\colon \mathrm{2Cat}\to \mathrm{DblCat}$, a more homotopical version of the usual horizontal embedding $\mathbb H$, is right Quillen and homotopically fully faithful when considering Lack's model structure on $\mathrm{2Cat}$. In particular, $\mathbb H^{\simeq}$ exhibits a levelwise fibrant replacement of $\mathbb H$. Moreover, Lack's model structure on $\mathrm{2Cat}$ is right-induced along $\mathbb H^{\simeq}$ from the model structure for weakly horizontally invariant double categories. We also show that this model structure is monoidal with respect to Böhm's Gray tensor product. Finally, we prove a Whitehead Theorem characterizing the weak equivalences with fibrant source as the double functors which admit a pseudo inverse up to horizontal pseudo natural equivalence.
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 theorem relating 2-limits and 2-terminal objects in the various choices of slice 2-categories of 2-cones are false. Furthermore we show that, even when weakening the 2-cones to pseudo- or lax-natural transformations, or considering bi-type limits and bi-terminal objects, there is still no such correspondence.
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 model stable 1-types.