Related papers: Model bicategories and their homotopy bicategories

Model categories have long been a useful tool in homotopy theory, allowing many generalizations of results in topological spaces to other categories. Giving a localization of a model category provides an additional model category structure…

It is known that a topological correspondence \((X,\lambda)\) from a locally compact groupoid with a Haar system \((G,\alpha)\) to another one, \((H,\beta)\), produces a \(\textrm{C}^*\)-correspondence \(\mathcal{H}(X,\lambda)\) from…

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…

Let H be a coFrobenius Hopf algebra over a field k. Let A be a right H-comodule algebra over k. We recall that the category of right H-comodules admits a certain model structure whose homotopy category is equivalent to the stable category…

For any ring $A$ and a small, preadditive, Hom-finite, and locally bounded category $Q$ that has a Serre functor and satisfies the (strong) retraction property, we show that the category of additive functors from $Q$ to the category of…

It is known that there is a weak-equivalence between the geometric realization of a simplicially enriched small category and its cofibrant replacement [12]. In this paper, we show that when only small categories are considered there exists…

This is a continuation, completion, and generalization of our previous joint work with B. Chorny. We supply model structures and Quillen equivalences underlying Goodwillie's constructions on the homotopy level for functors between…

Interest in weak cubical n-categories arises in various contexts, in particular in topological field theories. In this paper, we describe a concept of double bicategory, namely a strict model of the theory of bicategories in Bicat. We show…

In this paper we describe two ways on which cofibred categories give rise to bisimplicial sets. The "fibred nerve" is a natural extension of Segal's classical nerve of a category, and it constitutes an alternative simplicial description of…

We show that the functor that takes a multicosimplicial object in a model category to its diagonal cosimplicial object is a right Quillen functor. This implies that the diagonal of a Reedy fibrant multicosimplicial object is a Reedy fibrant…

This text develops a homotopy theory of 2-categories analogous to Grothendieck's homotopy theory of categories developed in "Pursuing Stacks". We define the notion of "basic localizer of 2-Cat", 2-categorical generalization of…

We prove that a model structure on a relative $\infty$-category $(M,W)$ gives an efficient and computable way of accessing the hom-spaces $hom_{M[[W^{-1}]]}(x,y)$ in the localization. More precisely, we show that when the source $x \in M$…

It is well-known that pseudo functors from bicategories of spans are equivalent to Beck-Chevalley bifibrations, and therefore capture the relationships underlying the adjunctions suitable as semantics for existential quantification. This…

We show how the notion of intercategory encompasses a wide variety of three-dimensional structures from the literature, notably duoidal categories, monoidal double categories, cubical bicategories, double bicategories and Gray categories.…

In this paper, we justify and make precise an elementary approach that establishes the existence of (co)limits in $\mathbf{Cat}$. This approach, while conceptually evident, has not been made fully explicit or systematically described in the…

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…

We prove that relative functors out of a cofibration category are essentially the same as relative functors which are only defined on the subcategory of cofibrations. As an application we give a new construction of the functor that assigns…

We show that the category of algebraically cofibrant objects in a combinatorial and simplicial model category A has a model structure that is left-induced from that on A. In particular it follows that any presentable model category is…

This article presents a novel approach to construct a model category structure designed to model the homotopy theory of spaces equipped with an action by the group $C_2$, where morphisms are considered to be isovariant. Our methodology…

This paper proves that the q-model structures of Moore flows and of multipointed $d$-spaces are Quillen equivalent. The main step is the proof that the counit and unit maps of the Quillen adjunction are isomorphisms on the q-cofibrant…