The model-categories tag has no usage guidance.

**1**

vote

**1**answer

188 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

202 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

146 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

194 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 ...

**7**

votes

**1**answer

197 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

111 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

54 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

112 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

208 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

100 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

138 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

114 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

172 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

92 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

182 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

380 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

298 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$ ...

**19**

votes

**4**answers

643 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

366 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 ...

**7**

votes

**2**answers

383 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

400 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

251 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 ...

**1**

vote

**0**answers

85 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 ...

**3**

votes

**0**answers

104 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 ...

**6**

votes

**0**answers

160 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 ...

**3**

votes

**0**answers

110 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

135 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

80 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

67 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

268 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

127 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 ...

**9**

votes

**0**answers

144 views

### Homotopy theory of suplattices

In Quillen's monograph Homotopical algebra where he introduced the notion of model category, he showed that if $C$ is a bicomplete category with enough regular-projectives in which either (*) every ...

**2**

votes

**0**answers

127 views

### Homotopy limits of weak diagrams

This question is somehow related to my question at http://math.stackexchange.com/questions/683915/derived-pseudo-functor
and to the question here: A homotopy commutative diagram that cannot be ...

**0**

votes

**1**answer

187 views

### Homotopy limit of a cosimplicial category

Consider the usual model structure on Cat (category of small categories).
Which are the fibrations of the injective model structure on the category of cosimplicial categories $Fun( \Delta ,Cat )$?
...

**1**

vote

**2**answers

300 views

### Equivalence of homotopy categories and model structure theory

I apologize if this is to basic for MO, but it just seems a bit to advanced for SE.
Let $\text{Top}$ be the category of topological spaces and $\text{sSet}$ the category of simplicial sets. There is ...

**2**

votes

**0**answers

139 views

### Cloven Kan fibrations

For each groupoid $G$ there is a monad such that the cloven fibred groupoids over $G$ are algebras for this monad. I am looking for an infinite dimensional counterpart: a monad on simplicial sets ...

**3**

votes

**0**answers

181 views

### Invariants of groups that are invariant under passage to finite index subgroups

This question is mostly idle curiosity.
Recall the following standard terminology: if $P$ is a property of groups, a group $G$ is said to be virtually $P$ if it has a subgroup of finite index which ...

**7**

votes

**1**answer

263 views

### Reference for a generalization of Γ-spaces to monoidal model categories

Γ-spaces were introduced by Segal in 1969 as models for what can be now described
as commutative ∞-monoids and ∞-groups in cartesian symmetric monoidal ∞-categories, e.g., E_∞-spaces and connective ...

**1**

vote

**0**answers

152 views

### Terminology question in model category theory

This is a terminology question. That will help me to write down my papers. In Marc Olschok's PhD available here (I cannot find it anymore on the Internet so it is in my webpage, the original URL is ...

**0**

votes

**1**answer

251 views

### right adjoint for pullback along fibration

Let $Grpd$ be the category of groupoids and $p:E\rightarrow B$ a fibration in the standard model structure on $Grpd$ (ie an isofibration). How do you prove that the pullback functor $p^{\star}:Grpd/B ...

**2**

votes

**1**answer

423 views

### Homotopy groups of filtered homotopy limits

Let $X$ be the homotopy limit of a filtered system of simplicial sets $X_i$. When are the morphisms $\pi_j(X)\to \varprojlim \pi_j(X_i)$ surjective for all $j\ge 0$? This seems to be no problem when ...

**3**

votes

**0**answers

165 views

### What are the Čech-local equivalences of (simplicial pre)sheaves?

Let $\mathcal{C}$ be small category and let $J$ be a Grothendieck topology on $\mathcal{C}$. The Čech model structure on $[\mathcal{C}^\mathrm{op}, \mathbf{sSet}]$ is defined to be the left Bousfield ...

**2**

votes

**0**answers

137 views

### Model structure on stacks

does anyone know if there is a model structure on stacks where the cofibrations are the monomorphisms ?
As far as I know usually to get a model structure on stacks one localizes a model structure on ...

**5**

votes

**0**answers

176 views

### Weak equivalences of left Bousfield localizations

Suppose C is a complete and cocomplete category with two model structures (C0,F0,W0) and (C1,F1,W1) such that C0⊃C1, F0⊂F1, W0⊂W1.
If necessary, the model structures can be assumed to be simplicial, ...

**10**

votes

**1**answer

316 views

### Which statements and arguments of Hovey's “Model categories” fail without functorial factorizations of morphisms?

I would like to study the homotopy theory of the category of pro-objects over a proper model category $M$. $Pro-M$ is endowed with the strict model structure; it seems that functorial functorizations ...

**4**

votes

**1**answer

216 views

### Is the injective structure on unbounded chain complexes simplicial?

In Mark Hovey's article Model category structures on chain complexes of sheaves (arXiv:math/9909024) a model structure on the category $Ch(A)$ of unbounded chain complexes for a Grothendieck abelian ...

**4**

votes

**1**answer

175 views

### Factorization of morphisms in a diagram category

Let us suppose that $I$ is a small category and $\mathcal{E}$ a combinatorial model category. Then there exists two Quillen equivalent combinatorial model category structures on the diagram category ...

**8**

votes

**2**answers

519 views

### Model structure for cooperads and for coalgebras

I am studying the homotopy theory of (algebraic) operads and I came up with several questions I am unable to answer to. I would like to stress that I don't have applications in mind, I just would like ...