Related papers: Model structures for $(\infty,n)$-categories on (p…

This expository article sets forth a self-contained and purely algebraic proof of a deep result of Quillen stating that the category of simplicial commutative algebras over a commutative ring is a model category. This is accomplished by…

In this note we show that in the simplicial setting, the classifying space construction converts short exact sequences of groups not just to homotopy fibrations, but in fact to fibre bundles.

We introduce, for \(\C\) a regular Cartesian Reedy category a model category whose fibrant objects are an analogue of quasicategories enriched in simplicial presheaves on \(C\). We then develop a coherent realization and nerve for this…

We introduce the dendroidal analogs of the notions of complete Segal space and of Segal category, and construct two appropriate model categories for which each of these notions corresponds to the property of being fibrant. We prove that…

We apply the Dwyer-Kan theory of homotopy function complexes in model categories to the study of mapping spaces in quasi-categories. Using this, together with our work on rigidification from [DS1], we give a streamlined proof of the Quillen…

We prove a theorem of Hinich type on existence of a model structure on a category related by an adjunction to the category of differential graded modules over a graded commutative ring.

Using the machinery of weak fibration categories due to Schlank and the first author, we construct a convenient model structure on the pro-category of separable $C^*$-algebras $\mathrm{Pro}(\mathtt{SC^*})$. The opposite of this model…

In this note we prove that Reedy fibrant Segal categories are fibrant objects in the model category structure SeCat_c. Combining this result with a previous one, we thus have that the fibrant objects are precisely the Reedy fibrant Segal…

In this paper we give a summary of the comparisons between different definitions of so-called (\infty,1)-categories, which are considered to be models for \infty-categories whose n-morphisms are all invertible for n>1. They are also, from…

In this article, we develop a notion of Quillen bifibration which combines the two notions of Grothendieck bifibration and of Quillen model structure. In particular, given a bifibration $p:\mathcal E\to\mathcal B$, we describe when a family…

We introduce a notion of "weak model category" which is a weakening of the notion of Quillen model category, still sufficient to define a homotopy category, Quillen adjunctions, Quillen equivalences and most of the usual construction of…

We show that Quillen's small object argument works for exact categories under very mild conditions. This has immediate applications to cotorsion pairs and their relation to the existence of certain triangulated adjoint functors and model…

We give a new construction of the model structure on the category of simplicial sets for homotopy $n$-types, originally due to Elvira-Donazar and Hernandez-Paricio, using a right transfer along the coskeleton functor. We observe that an…

We present a way of constructing a Quillen model structure on a full subcategory of an elementary topos, starting with an interval object with connections and a certain dominance. The advantage of this method is that it does not require the…

For each $n \geq -1$, a quasi-category is said to be $n$-truncated if its hom-spaces are $(n-1)$-types. In this paper we study the model structure for $n$-truncated quasi-categories, which we prove can be constructed as the Bousfield…

In this article we construct various models for singularity categories of modules over differential graded rings. The main technique is the connection between abelian model structures, cotorsion pairs and deconstructible classes, and our…

We establish a model structure on the category of strict omega-categories. The constructions leading to the model structure in question are expressed entirely within the scope of omega-categories, building on a set of generating…

We give a homotopy theoretic characterization of stacks on a site $\cC$ as the {\it homotopy sheaves} of groupoids on $\cC$. We use this characterization to construct a model category in which stacks are the fibrant objects. We compare…

We give a proof of the folklore theorem, attributed to Goodwillie, that there are precisely nine model structures on the category $\mathsf{Set}$ of sets. This result is deduced from a complete study of lifting problems and the ensuing…

We define a model category structure on a slice category of simplicial spaces, called the "Segal group action" structure whose fibrant-cofibrant objects may be viewed as representing spaces $X$ with a coherent action of a given Segal group…