The model-categories tag has no usage guidance.

**5**

votes

**0**answers

263 views

### A construction with homotopy colimits and homotopy pullbacks for descent

EDIT: Following the lines of some suggestions in the comments below, I try to add something more to explain the problem better. A map $\text{hocolim}Y\rightarrow\bar{Y}$ in $\text{Ho}(\mathbf{M})$ is ...

**5**

votes

**1**answer

89 views

### Monoidal structure on simplicial sheaves

Let $\mathcal{C}$ be a site and let $sPh(\mathcal{C})_{proj}$ be the category of simplicial presheaves equipped with the projective model structure. This category is a closed monoidal model category ...

**0**

votes

**0**answers

28 views

### Criterion for projectively cofibrant diagrams? [duplicate]

(repost from math.stackexchange)
Let $\mathbf{D}$ be a small category, $\mathbf{Set}$ the category of sets and $\mathbf{sSet}$ the category of simplicial sets with its usual model structure. The ...

**4**

votes

**0**answers

148 views

### When does the canonical model structure on $\mathcal V$-$\mathbf{Cat}$ give a structure of monoidal model category?

Let $\mathcal V$ be a closed symmetric monoidal model category. It is well known that the category $\mathcal V$-$\mathbf{Cat}$ of $\mathcal V$-enriched categories is itself a closed symmetric monoidal ...

**5**

votes

**1**answer

200 views

### Does the stable category of a nice exact category embed in (the underlying category of) a derivator?

In Derivators, Pointed Derivators, and Stable Derivators, Moritz Groth gives as an example of a non-invertible morphism with trivial cone an inclusion $f:X\to I$. Here $X$ is an object of injective ...

**3**

votes

**0**answers

137 views

### hypothetical model structure on the category of model categories

It is natural to ask if the category of model categories can be endowed with the structure of a model category where the class of weak equivalences is given by the Quillen equivalences knowing that ...

**4**

votes

**1**answer

158 views

### fibrant generation of $sSet_{Quillen}$?

I wonder if someone has proved that $sSet_{Quillen}$ is not a fibrantly generated model structure ? Do we know something about the possible fibrant generation of $sSet_{Quillen}$ ?
Thanks

**3**

votes

**0**answers

83 views

### Equivariant model structure on $G-\mathrm{Gpd}$

Let's denote $G\text{-}\mathrm{Gpd}$ the presheaf category $[\mathbf{B}G, \mathrm{Gpd}]$. Now assume that $\mathrm{Gpd}$ is endowed with its natural model structure where weak equivalences are ...

**1**

vote

**0**answers

101 views

### Function complex and simplicial presheaves

Let $\mathcal{C}$ be a small catgeory, $\mathcal{E}$ be a model category and $A\: : \: \mathcal{C}\to \mathcal{E}$ be a functor. Let $\tilde{A}$ be an objectwise cosimplicial frame on A. Consider the ...

**7**

votes

**0**answers

250 views

### A model category for E-infty algebras in a non-monoidal model category?

Given a suitable nice symmetric monoidal category $C$, symmetric monoidally enriched, tensored, and cotensored over a symmetric monoidal category $S$, and an operad $\mathcal{O}$ in $S$, we can ...

**2**

votes

**1**answer

241 views

### When are homotopy categories of model categories closed modules over the homotopy category of $(\infty, 1)$-categories?

Let $\mathrm{Quillen}$ be the model category of simplicial sets with the Quillen model structure, and $\mathrm{Joyal}$ the model category of simplicial sets with the Joyal model structure.
As is ...

**6**

votes

**2**answers

174 views

### An example of two cofibrant dg categories whose tensor product is not cofibrant

I have been reading the paper by Toën "The homotopy theory of dg categories and derived Morita theory" where in chapter 4 it is stated that the tensor product of two cofibrant dg categories $C$ and ...

**2**

votes

**1**answer

145 views

### recognising weak equivalences of simplicial sets

$\require{AMScd}$ I am interested in detecting using a lifting property when a map $f:X\to Y$ in $sSet$ (with the standard Kan model structure) is a weak equivalence. In the paper Weak Equivalences ...

**4**

votes

**2**answers

336 views

### Reference for homotopy (co)limits of (co)chain complexes via totalization of double complexes

It seems to be a well-known fact that homotopy (co)limits
of (co)simplicial diagrams of nonnegatively graded
(co)chain complexes in (Grothendieck) abelian categories
can be computed by using the ...

**1**

vote

**1**answer

140 views

### Does the nerve functor preserve fibrations?

As asked in the title but more specifically: does the nerve functor from Cat to sSet map a fibration between groupoids to a Kan fibration ?
By fibration of groupoids I mean a fibration for the ...

**6**

votes

**0**answers

462 views

### A model category for descent?

Recall that an $(\infty,1)$-category $C$ is said to have descent if for any small diagram $X:I\to M$ with (homotopy) colimit $\overline{X}$, the adjunction between $C/\overline{X}$ and "equifibered" ...

**9**

votes

**1**answer

307 views

### Example of a saturated class of morphisms which is not _obviously_ saturated?

By "saturated class of morphisms" in a category $\mathcal{C}$, I mean a subcategory $\mathcal{W} \subset \mathcal{C}$ such that the image of $\mathcal{W}$ in $\mathcal{C}[\mathcal{W}^{-1}]$ consists ...

**1**

vote

**1**answer

202 views

### Bounded dg algebra vs unbounded dg algebras

1)Let $Cd_{\geq 0}ga$ be the category of non negatively commutative cochain dg algebra over a field $\Bbbk$ of charachteristic zero. Let $w\: : \: Cd_{\geq 0}ga\to dg_{\geq 0}Mod$ be the forgethfull ...

**16**

votes

**1**answer

1k views

### Joyal's letter to Grothendieck

Mostly out of curiosity: Where do I find Joyal's letter to Grothendieck in which he defines a model structure on simplicial sheaves?
The question was already asked in this MO post, but that ...

**0**

votes

**1**answer

203 views

### equivalence in simplicial category

Let $(\mathcal{C},W)$ be a category with weak equivalences. One can build from $(\mathcal{C},W)$ its hammock localization $L^{H}(\mathcal{C},W)$ which is a simplicial category $\textit{ie}$ a category ...

**3**

votes

**1**answer

151 views

### Model bicategories

From a conceptual point of view, the notion of a "model bicategory" is clear: a complete, cocomplete bicategory where there are two "very weak" factorization systems, where the commutativity of the ...

**6**

votes

**2**answers

200 views

### Localizations of model categories and $\infty$-categories

I am interested in the relation between Bousfield localizations of model categories and localizations of $(\infty,1)$-categories.
According to Hirschhorn's book we can form the left Bousfield ...

**10**

votes

**1**answer

301 views

### Small objects vs Compact objects

Given a cocomplete category $C$, is there an example of an object which is small but not compact?
I am working with the following definitions of small and compact:
Given a cardinal $\kappa$ one ...

**5**

votes

**1**answer

113 views

### Site dependance of the Cech weak equivalences on simplicial sheaves

Let $\mathcal{T}= sh(C,J)$ a Grothendieck topos of sheaves over a (ordinary) site.
One endows the category of simplicial presheaves over $C$ with the "Rezk-Lurie" model structure: that is we start ...

**2**

votes

**0**answers

55 views

### Cell(J) vs Cof(J) in $\text{sSet}_{\text{Quillen}}$

consider sSet equipped with its Quillen model structure $\text{sSet}_{\text{Quillen}}$, we know that a trivial cofibration is a retract of a transfinite composition of pushouts of horn inclusions. I ...

**4**

votes

**1**answer

117 views

### Proper Model Category

Let R be a commuative ring. Consider the category of simplicial R-modules with the projective model stucture. Can someone give me a precise reference which proves that this model category is proper? ...

**4**

votes

**1**answer

211 views

### Does “simplicial” commute with “Bousfield localization”?

Let $M$ be a model category and $S \subseteq \operatorname{Mor}(M)$ a set of arrows in (the underlying strict category of) $M$. Recall that the left Bousfield localization $L_SM$ of $M$ with respect ...

**3**

votes

**0**answers

110 views

### model structure of noncommutative non-negatively graded DGAs

Take non-negatively graded differential graded algebras, which are vector spaces over some field (the last assumption just to simplify things). We have the usual $d^2=0$, but the product is not ...

**6**

votes

**0**answers

144 views

### Fibrations of the injective model structure on G-simplicial sets

Let $G$ be a discrete group. Consider the category of $G$-simplicial sets endowed with the injective model structure, i.e. cofibrations are the injective maps and weak equivalences are the maps which ...

**2**

votes

**0**answers

116 views

### When is the product of an infinite family of simplicial sets also a homotopy product?

The homotopy product of an infinite family of simplicial sets can be computed
by deriving the product functor sSetW→sSet, for example,
by performing the componentwise fibrant replacement using Kan's ...

**8**

votes

**0**answers

179 views

### Reference for maps whose pushouts are also homotopy pushouts

Consider a category C with weak equivalences, e.g., a model category.
For the purposes of this question, let's say that a morphism f in C is an i-cofibration if any pushout (alias cobase change) ...

**2**

votes

**0**answers

96 views

### Latching space functor in Reedy model strucutre

I am new to MO and I hope that this question is suitable for it.
Following Hovey's "Model Categories" ( http://ericmalm.net/ac/projects/symmetric-spectra/hovey--model-cats.pdf ) to study model ...

**6**

votes

**0**answers

185 views

### Can we “complete” model categories to compute derived functors in the usual way?

Suppose we have a functor between two model categories $F\colon \mathcal{C}\to \mathcal{D}$. Suppose we don't know that it is a part of a Quillen pair. Nevertheless, it can still happen that the ...

**5**

votes

**2**answers

407 views

### A general theory of quasi-functors, generalizing from dg-categories to $\mathcal V$-categories, with $\mathcal V$ monoidal model category

I employ the vast majority of the post to develop the notion of quasi-functor between dg-categories: I think it is important to get the idea.
Let $k$ be a field, and let $\mathcal V =\mathbf C(k)$ ...

**5**

votes

**2**answers

306 views

### Is the category of $G$-spaces a model category?

Let $G$ be a compact Lie group and $\mathcal{C}_G$ the category of $G$-spaces (ie. topological spaces endowed with continuous left $G$-actions). Is there a model category structure on $\mathcal{C}_G$ ...

**21**

votes

**4**answers

755 views

### Fibrations and Cofibrations of spectra are “the same”

My question refers to a folklore statement that I have now seen a couple of times, but never really precise. One avatar is:
"For spectra every cofibration is equivalent to a fibration" (e.g. in the ...

**11**

votes

**2**answers

375 views

### The definition of Reedy category

The common definition of Reedy category seems to be this one that a Reedy category is a small category $R$ with two wide subcategories $R_+$ and $R_-$ and an ordinal-valued degree function on its ...

**8**

votes

**2**answers

433 views

### Constructing a “geometric” model structure on Cat by localizing the “categorical” model structure

Let $\text{Cat}$ be the category of (small) categories and functors. There is a "categorical" (also called "canonical" or "folk") model structure on $\text{Cat}$ in which the weak equivalences are the ...

**6**

votes

**1**answer

418 views

### Do homotopy limits compute limits in the associated quasicategory in the non-combinatorial model category case?

Suppose that $\mathcal{M}$ is a model category which is not combinatorial, does a homotopy limit in $\mathcal{M}$ correspond to a limit in the associated $\left(\infty,1\right)$-category?
How about ...

**5**

votes

**2**answers

258 views

### Morphisms every pushout of which is a weak equivalence

Let $M$ be a category equipped with a class of weak equivalences $W$. Is there a name for a morphism $f$ such that every pushout of $f$ (including, of course, $f$ itself) is a weak equivalence?
For ...

**2**

votes

**0**answers

97 views

### When can I compute the simplicial mapping space from a presheaf to a simplicial presheaf naively?

Suppose that $\mathscr{C}$ is is a small category, $Y$ is a presheaf (of sets) on $\mathscr{C},$ and $X_\bullet$ is a simplicial presheaf. There is a spectrum of simplicial model structures on ...

**4**

votes

**0**answers

111 views

### How do you compute a homotopy colimit in a category of fibrant objects?

This question may be a bit vague, (so if suggested, can I make it community wiki), but I was wondering what techniques there exists for computing homotopy colimits in a category of fibrant objects. A ...

**7**

votes

**0**answers

179 views

### When does a sheaf of categories represent a homotopy sheaf?

Suppose that $F$ is a sheaf of categories (on a Grothendieck site or even a topological space). By this, I mean a sheaf in the naive 1-categorical sense, so it can equivalently be viewed as a category ...

**4**

votes

**0**answers

112 views

### On the preservations of certain colimits (by covers) under simplicial localization (of a category of fibrant objects)

Suppose I have a category of fibrant objects $\mathcal{C}$ (with weak equivalences $W$ and fibrations $F$) together with a subcanonical Grothendieck pre-topology $J$ whose covering families consist of ...

**3**

votes

**0**answers

145 views

### Which reflexive coequalizer diagrams are projectively cofibrant?

Consider the walking reflexive pair category W,
which consists of two objects 0 and 1 and three generating
morphisms f: 0→1, g: 0→1, and h: 1→0
satisfying the relation fh=gh=id₁.
Consider the ...

**0**

votes

**0**answers

92 views

### Path objects in projective model structure

I want to know how path objects look like in the presheaf category $[\mathcal{B}(\mathbb{Z}/2\mathbb{Z})^{\text{op}}, \text{Gpd}]$. Note that this category is just groupoids equipped with involutions. ...

**0**

votes

**0**answers

81 views

### Comparison of model structures

I am just learning some basics of model categories, so pardon me if my question is trivial.
Suppose that $\mathfrak{C}$ is a category and there exists two model structures on $\mathfrak{C}$ (For ...

**2**

votes

**1**answer

73 views

### dg-flat complexes and their characters

Let $\otimes$ denotes the usual tensor products of complexes and symbols live in the category of chain complexes of $R$-modules. Let $X$ be a dg-flat complex (i.e. $X_n$ is flat for each n and ...

**6**

votes

**1**answer

285 views

### Are there models for homotopy colimits and limits of simplicial sets that generalize Kan's suspension and loop functors?

Consider the category C of pointed simplicial sets.
The pair of functors X∈C↦X∧S¹∈C and Y∈C↦Map(S¹,Y)∈C
models the suspension and loop functors on the underlying ∞-category of C.
There is another ...

**4**

votes

**0**answers

131 views

### Formal DG-algebras

Sorry for this question but I really have difficulties with model categories.
Usually a $dg$-algebra $A$ is called formal, if there exists a $dg$-algebra $B$ and quasi-isomorphisms $$A\leftarrow B\to ...