The model-categories tag has no usage guidance.

**9**

votes

**0**answers

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

**8**

votes

**0**answers

130 views

### Model category of cofibrant topological spaces

By browsing the list of open problems in Mark Hovey's book "Model categories", I came across the following one (Problem 8.3): find a model structure on topological spaces, with the same weak ...

**8**

votes

**0**answers

363 views

### Standard model structures on $Top$

Call a model structure on $Top$ (the category of topological spaces) standard, if the weak equivalences are the weak homotopy equivalences. In this nLab page, two standard model structures on $Top$ ...

**8**

votes

**0**answers

196 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) ...

**8**

votes

**0**answers

162 views

### Fibrations of orthogonal G-spectra and fixed points

There are at least two fixed point functors that characterize stable equivalences of orthogonal G-spectra: the geometric fixed points and the naive fixed points of a fibrant replacement.
Is this true ...

**8**

votes

**0**answers

616 views

### An Ex functor for the contravariant homotopy structure

I'm going to slack on the background and get to the point:
Is there a good notion of an $Sd/Ex$ adjunction for $sSet/S$ equipped with
the contravariant model structure (cofibrations are monomorphisms ...

**7**

votes

**0**answers

94 views

### Cubical model category

Question. Call a cubical model category a model category enriched over cubical sets equipped with a tensor product $X \otimes K$ and a cotensor product $X^K$ where $X$ is an object of the model ...

**7**

votes

**0**answers

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

**7**

votes

**0**answers

471 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" $...

**7**

votes

**0**answers

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

**7**

votes

**0**answers

362 views

### Does abstract nonsense of model categories determine the “nonlinear” morphisms of $L_\infty$ algebras?

Recall that a Lie algebra is a module for the operad $\mathrm{Lie}$, which is freely generated by a binary antisymmetric operation $\beta$ modulo an equation that is quadratic in $\beta$. There is a ...

**7**

votes

**0**answers

134 views

### An explicit description of injective fibrations

If $M$ is a combinatorial model category and $C$ a small category, then the category $M^C$ admits an injective model structure in which the cofibrations and weak equivalences are levelwise. I would ...

**6**

votes

**0**answers

118 views

### Is the theory of weak $n$-categories a cofibrant replacement of the theory of strict ones?

I have algebraic models of $n$-categories in mind. By "theory of (weak) $n$-categories", I mean "[monad / operad / whatever] whose algebras are (weak) $n$-categories".
To be more precise: fix an ...

**6**

votes

**0**answers

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

**6**

votes

**0**answers

196 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

**0**answers

55 views

### Intuition for resolutions of operads

Is there an intuitive way to understand resolutions of operads for someone not well-versed in model categories? In particular, I'd like to have some idea, even if not a complete understanding, of how ...

**5**

votes

**0**answers

62 views

### Model structure on DG-algebras with flat cofibrants

Let $k$ be a commutative ring,
and consider the category of associative non-positive DG-algebras over $k$ (thus, $A^i = 0$ for $i>0$, and the differential has degree $+1$).
Is there a closed model ...

**5**

votes

**0**answers

143 views

### Continuous cohomology via model category

Is it possible to formulate notion of continuous cohomology in terms of model categories?
If yes, then is there a reference for this?

**5**

votes

**0**answers

144 views

### Homotopy pullback preserving functor

In the paper http://arxiv.org/pdf/math/0101162.pdf, the authors claim during the proof of Prop. 4.2 that a functor $F:A \to B$ which preserves fibrations and weak equivalences preserves homotopy ...

**5**

votes

**0**answers

280 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

**0**answers

184 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, ...

**5**

votes

**0**answers

160 views

### Refined cofinality theorem for homotopy limits of spaces

If $C$ is a simplicial model category, $F\colon I\longrightarrow J$ a functor between small categories, and $X\colon J\longrightarrow C$ a diagram, the canonical map $holim_JX\longrightarrow holim_IX\...

**5**

votes

**0**answers

183 views

### relationships between properties of model categories

I've recently found myself running up against all sorts of adjectives that can describe a model category: cofibrantly generated, combinatorial, tractable, stable, locally (finitely) presentable, (left ...

**5**

votes

**0**answers

257 views

### Left adjoints to several inclusions of homotopy simplicial model categories

The left adjoint to the inclusion $sGrp\hookrightarrow sPtSet$ of the category of simplicial groups into the category of pointed simplicial sets is homotopy equivalent to the loop suspension functor $...

**5**

votes

**0**answers

427 views

### Fiber sequences in proper model categories

I am confused about the notion of a fiber sequence (or dually a cofiber sequence) in a general pointed and proper model category $\mathcal{C}$.
Following Hovey, we can define, like in topology, a map ...

**4**

votes

**0**answers

100 views

### Universal enveloping algebra functor preserves quasi-isomorphism

Let $k$ be a field of characteristic 0. Let $\mathtt{DGA}_{k}$ denote the category of DG algebras and $\mathtt{DGLA}_{k}$ denote the category of DG Lie algebras. It is well known that there are model ...

**4**

votes

**0**answers

98 views

### Cofibrations in the model structures for non-negative graded (commutative) DG algebras

Let $k$ be a field of characteristic 0. Let $\mathtt{DGA}_{k}^{+}$ denote the category of non-negative graded DG algebras and $\mathtt{CDGA}_{k}^{+}$ denote the category of non-negative graded ...

**4**

votes

**0**answers

114 views

### What structure of a monoidal simplicial model category is preserved by taking the opposite category?

Suppose we have $(M,\otimes,1)$, a monoidal simplicial model category. Then we can consider the opposite model category $M^{op}$ with the opposite model structure (fibrations become cofibrations, etc.)...

**4**

votes

**0**answers

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

**4**

votes

**0**answers

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

**4**

votes

**0**answers

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

**4**

votes

**0**answers

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

**4**

votes

**0**answers

235 views

### Cisinski-Deglise model structure on chain complexes

Let $\newcommand{\A}{\mathscr{A}}\A$ be a grothendieck abelian category. In their paper "Local and stable homological algebra in grothendieck abelian categories", Cisinski and Déglise define the ...

**4**

votes

**0**answers

236 views

### Is there a local projective model structure on simplicial sheaves? What are its fibrant objects?

Consider a site S (I am mostly interested in hypercomplete sites, e.g., the site of smooth manifolds).
The category of simplicial presheaves SPSh(S) on S can be equipped with the local projective ...

**4**

votes

**0**answers

275 views

### Is the geometric realisation of a nerve equivalent to the classifying space of its categorisation?

The nerve functor $N:Cat\to sSet$ has a left adjoint, namely the categorisation $C$. In fact there is a natural isomorphism $\epsilon: CN\to Id$ and $N$ is a full embedding.So if I start with a ...

**4**

votes

**0**answers

280 views

### When is the cofibrant replacement of a product the product of the cofibrant replacements?

I'm in a situation where I'd like to prove $Q(E\otimes E) \simeq QE \otimes QE$ for a monoid $E$ in a symmetric monoidal model category. I know it's not true in general that $Q(E\otimes F)\simeq QE \...

**4**

votes

**0**answers

332 views

### Equivariant sheaves and simplicial varieties

I would like to proof the following theorem:
Let $\pi:X\rightarrow X/G$ be a principal $G$-bundle (say of varieties, Zariski locally trivial), then $\pi^*$ induces an equivalence between modules on ...

**4**

votes

**0**answers

560 views

### When are “diagrams of cofibrations” projectively cofibrant?

Let $P$ be a small category, and let $F:P\to M$ be a diagram in a left-proper combinatorial model category $M$. We say that $F$ is a diagram of cofibrations if for every object $p\in P$, $F(p)$ is ...

**4**

votes

**0**answers

183 views

### Mapping into a geometric realization.

Suppose $S$ is a simplicial set, $X$ is a space, and we are given a map
\[
f: \text{Sing}\,X\to S.
\]
When is is possible to produce a map $X\to |S|$?
We can take ...

**3**

votes

**0**answers

92 views

### Is there a schema category for hyperstructures?

I am completely fascinated by Niels Baas' notion of hyperstructures, chiefly because I can see how such gadgets could be used in modeling both biological and social systems, or other evolutionary ...

**3**

votes

**0**answers

209 views

### N-periodic derived categories

I have some seemingly basic questions about $N$-periodic derived categories to which I have not found answers in any of the usual places.
Let $R$ be a ring, and let $D(R)_{\mathbb Z/N\mathbb Z}$ ...

**3**

votes

**0**answers

136 views

### Test categories applied to Dold-Kan correspondence?

Let's see how this goes, this might be a bit rushed, if you spot any mistakes feel free to correct them. A test category $X$ is a category that can be used in place of the simplex category $\Delta$ to ...

**3**

votes

**0**answers

137 views

### Reedy fibrant and cofibrant objects

Let $\mathcal{C}$ be a Reedy category, $\mathcal{M}$ be a model category. Then consider $Fun(\mathcal{C}, \mathcal{M})$, the category of diagrams from $\mathcal{C}$ to $\mathcal{M}$ equipped with the ...

**3**

votes

**0**answers

95 views

### About Quillen equivalences between Bousfield localizations

Let $\mathcal{M}$ be a locally presentable category equipped with two left proper and left determined combinatorial model structures $\mathcal{M}_1$ and $\mathcal{M}_2$. There exist two sets $S_1$ and ...

**3**

votes

**0**answers

119 views

### How can one “extend scalars” for (motivic) ring spectra and for modules over it?

Let $S$ be a (motivic symmetric) ring spectrum (more generally, one can possibly consider a ring object in a symmetric stable model category); let $R$ be a flat associative commutative unital algebra ...

**3**

votes

**0**answers

118 views

### Homotopy (co)limit (co)cones

Let $\mathscr{M}$ be a model category and let $\mathscr{I}$ be a small category. Consider any homotopy colimit functor $\text{hcolim}_{\mathscr{M}}^{\mathscr{I}}\colon\mathscr{M}^{\mathscr{I}}\...

**3**

votes

**0**answers

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

**3**

votes

**0**answers

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

**3**

votes

**0**answers

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

**3**

votes

**0**answers

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