Related papers: An A-based cofibrantly generated model category
There are various adjunctions between model (co-)slice and slice categories. We characterize when these adjunctions are Quillen equivalences. As an application, a triangle equivalence between the stable category of a Frobenius category and…
If a Quillen model category can be specified using a certain logical syntax (intuitively, ``is algebraic/combinatorial enough''), so that it can be defined in any category of sheaves, then the satisfaction of Quillen's axioms over any site…
G. Raptis has recently proved that, assuming Vop\v{e}nka's principle, every cofibrantly generated model category is Quillen equivalent to a combinatorial one. His result remains true for a slightly more general concept of a cofibrantly…
We introduce a notion of a filtered model structure and use this notion to produce various model structures on pro-categories. This framework generalizes several known examples. We give several examples, including a homotopy theory for…
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 study Quillen's model category structure for homotopy of simplicial objects in the context of Janelidze, Marki and Tholen's semi-abelian categories. This model structure exists as soon as the base category A is regular Mal'tsev and has…
We show that the model category of diagrams of spaces generated by a proper class of orbits is not cofibrantly generated. In particular the category of maps between spaces may be given a non-cofibrantly generated model structure.
The relative cell complexes with respect to a generating set of cofibrations are an important class of morphisms in any model structure. In the particular case of the standard (algebraic) model structure on $\textbf{Top}$, we give a new…
Given subsets $\mathcal{C},\mathcal{F}$ of a preorder $\mathcal{A}$, we give necessary and sufficient conditions for $\mathcal{A}$ to admit the structure of a model category whose cofibrant objects are $\mathcal{C}$ and whose fibrant…
We collect in one place a variety of known and folklore results in enriched model category theory and add a few new twists. The central theme is a general procedure for constructing a Quillen adjunction, often a Quillen equivalence, between…
In this paper, we discuss certain circumstances in which the category of tame functors inherits an abelian category structure with minimal resolutions and a model category structure with minimal cofibrant replacements. We also present a…
We give a complete and careful proof of Quillen's theorem on the existence of the standard model category structure on the category of topological spaces. We do not assume any familiarity with model categories.
Most categorical models for dependent types have traditionally been heavily set based: contexts form a category, and for each we have a set of types in said context -- and for each type a set of terms of said type. This is the case for…
We investigate the categories of weak maps associated to an algebraic weak factorisation system (AWFS) in the sense of Grandis-Tholen. For any AWFS on a category with an initial object, cofibrant replacement forms a comonad, and the…
In Quillen's paper on rational homotopy theory, the category of 1-reduced simplicial sets is endowed with a family of model structures, the most prominent of which is the one in which the weak equivalences are the rational homotopy…
In this paper, we study the category $C(Rep(\mathcal{Q}, \mathcal{A}))$ of complexes of representations of quiver $\mathcal{Q}$ with values in an abelian category $\mathcal{A}$. We develop a method for constructing some model structures on…
We use Cisinski's machinery to construct and study model structures on the category of simplicial sets whose classes of fibrant objects generalize quasi-categories. We identify a lifting condition which captures the homotopical behavior of…
For a small category A, we prove that the homotopy colimit functor from the category of simplicial diagrams on A to the category of simplicial sets over the nerve of A establishes a left Quillen equivalence between the projective (or Reedy)…
In the present article, we describe constructions of model structures on general bicomplete categories. We are motivated by the following question: given a category $\mathcal{C}$ with a subcategory $w\mathcal{C}$ closed under retracts, when…
It is proved that the category of simplicial complete bornological spaces over $\mathbb R$ carries a combinatorial monoidal model structure satisfying the monoid axiom. For any commutative monoid in this category the category of modules is…