Related papers: Reedy Model Structures in Families

The Grothendieck construction is a classical correspondence between diagrams of categories and coCartesian fibrations over the indexing category. In this paper we consider the analogous correspondence in the setting of model categories. As…

We extend McCarthy's stabilization construction to exact $\infty$-categories. This is achieved by constructing, for any functor from exact $\infty$-categories to a fixed stable $\infty$-category $\mathcal{A}$, a coherent chain complex in…

We study the action of monads on categories equipped with several monoidal structures. We identify the structure and conditions that guarantee that the higher monoidal structure is inherited by the category of algebras over the monad.…

We study families of rational curves on an algebraic variety satisfying incidence conditions. We prove an analogue of bend-and-break: that is, we show that under suitable conditions, such a family must contain reducibles. In the case of…

In this paper we put a cofibrantly generated model category structure on the category of small simplicial categories. The weak equivalences are a simplicial analogue of the notion of equivalence of categories.

In this paper we obtain several model structures on {\bf DblCat}, the category of small double categories. Our model structures have three sources. We first transfer across a categorification-nerve adjunction. Secondly, we view double…

We introduce a notion of compatibility for families $(\mathcal{F}_{\ell})_{\ell}$ of bounded constructible $\ell$-adic complexes of \'etale sheaves on schemes. For schemes of finite type over a field, this notion is preserved by the usual…

In contrast with the Hovey correspondence of abelian model structures from two complete cotorsion pairs, Beligiannis and Reiten give a construction of model structures on abelian categories from only one complete cotorsion pair. The aim of…

Necessary and sufficient conditions for convexity and strong convexity, respectively, of sublevel sets that are defined by finitely many real-valued $C^{1,1}$-maps are presented. A novel characterization of strongly convex sets in terms of…

It is well known that the existence of a braiding in a monoidal category V allows many structures to be built upon that foundation. These include a monoidal 2-category V-Cat of enriched categories and functors over V, a monoidal bicategory…

We prove that any category of props in a symmetric monoidal model category inherits a model structure. We devote an appendix, about half the size of the paper, to the proof of the model category axioms in a general setting. We need the…

Our aim is to give a fairly complete account on the construction of compatible model structures on exact categories and symmetric monoidal exact categories, in some cases generalizing previously known results. We describe the close…

Categorical structures and their pseudomaps rarely form locally presentable 2-categories in the sense of Cat-enriched category theory. However, we show that if the categorical structure in question is sufficiently weak (such as the…

Reider's Theorem on the very ampleness of adjoint linear series on a complex projective algebraic surface is extended in two new directions. First, Reider-type inequalities are shown to imply nefness of linear series of the form dH - E on…

One of the major advantages of $\infty$-category theory over classical $1$-category theory is its robust and homotopically meaningful framework for taking (co)limits of diagrams of $\infty$-categories. However, it is both subtle and crucial…

We prove the Ramsey property for classes of ordered structures with closures and given local properties. This generalises earlier results: the Ne\v{s}et\v{r}il-R\"odl Theorem, the Ramsey property of partial orders and metric spaces as well…

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…

We study the monoidal structure of the standard strictification functor $\textrm{st}:\mathbf{Bicat} \rightarrow \mathbf{2Cat}$. In doing so, we construct monoidal structures on the 2-category whose objects are bicategories and on the…

We use fibrations of complete Segal spaces to construct four complete Segal spaces: Reedy fibrant simplicial spaces, Segal spaces, complete Segal spaces, and spaces. Moreover, we show each one comes with a universal fibration that…

We construct a left semi-model structure on the category of intensional type theories (precisely, on $\mathrm{CxlCat_{Id,1,\Sigma(,\Pi_{ext})}}$). This presents an $\infty$-category of such type theories; we show moreover that there is an…