The model-categories tag has no wiki summary.

**3**

votes

**2**answers

238 views

### Analogues of 'cone' distinguished triangles for pointed model categories?

For an additive $A$ and any morphism $f:X\to Y$ in $C(A)$ one has the following distinguished triangle in the homotopy category $K(A)$: $X\to Y\to Cone(f)\to X[1]$.
What is the closest analogue of ...

**3**

votes

**0**answers

153 views

### Jardine model structure as left Bousfield localization

This should be a really basic question, but I'm stuck on it.
The question. I see written everywhere (for example here, or in the article [DHI] Hypercovers and simplicial presheaves of Dugger, ...

**3**

votes

**0**answers

171 views

### Homotopy theory of acyclic categories

Homotopy theory of category of posets is well-developed and explained in various places. My interest is in acyclic categories. Recall that in acyclic categories only invertible morphisms are the ...

**5**

votes

**1**answer

435 views

### Finite homotopy limits commute with sequential homotopy colimits

I would like to know for what kind of model category finite homotopy limits commute with sequential homotopy colimits. Would cofibrantly generated and finitely locally presentable be enough? It seems ...

**2**

votes

**1**answer

192 views

### Left homotopy in the quillen model structure

Let $ \mathscr{T} $ be the category of [insert technical conditions here] topological spaces. Equip $ \mathscr{T}$ with the quillen model structure. The category of based spaces $ \mathscr{T}_*$ ...

**0**

votes

**0**answers

197 views

### is this a simplicial model category?

A basic result in the theory of model categories is that simplicial sets form a simplicial model category. The same is true for simplicial $k$-algebras. I have two questions related to this. One ...

**4**

votes

**2**answers

442 views

### On triangulated categories of pro-objects

Which term is used for model categories whose homotopy categories are triangulated? Stable proper model categories?
I want $Ho(Pro-M)$ to be triangulated ($Pro-M$ is the category of pro-objects of M) ...

**5**

votes

**2**answers

211 views

### A model category which is an additive category

Let $\cal C$ be a model category which is also additive. Suppose that the homotopy category $\operatorname{Ho}\mathcal C$ is additive, for example this is true when the weak equivalences in $\cal C$ ...

**9**

votes

**1**answer

320 views

### The state of the art in the rectification of homotopy-coherent structures

My question concerns rectification theorems for homotopy-coherent structures. As the meaning of this may be unclear, let me list a few examples of what I am thinking of:
Cordier and Porter proved a ...

**3**

votes

**1**answer

241 views

### Alternative model structure on retractive spaces

Background
For a topological space $X$, let $R(X)$ be the category of retractive spaces over $X$. An object of this category is a space $Y$ equipped with maps $s: X \to Y$ and $r: Y \to X$ such that ...

**2**

votes

**1**answer

142 views

### Does Wolbert's derived equivalence between $E_*^R$-local $R$-modules and $R_E$-modules come from a Quillen equivalence?

Let $R$ be a ring spectrum (in the world of EKMM $S$-modules) and let $E$ be a smashing $R$-module. Denote by $R_E$ the $E_*$-localization of $R$. By a theorem of Wolbert (Theorem 2 in Classifying ...

**8**

votes

**1**answer

294 views

### Is the localisation of a product of categories the product of the localisation?

Let $\cal C, \cal D$ be model categories. Hovey says in his monograph "Model Categories" that the homotopy category $\operatorname{Ho}(\cal C \times D)$ is isomorphic to $\operatorname{Ho}(\cal C) ...

**5**

votes

**0**answers

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

**4**

votes

**0**answers

225 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

**2**answers

282 views

### Where should I search for resolutions?

In my research, to test some conjectures or just to illustrate some facts, I often need to compute some explicit examples of derived functors (in the sence of Quillen's model categories). Mainly I ...

**5**

votes

**1**answer

235 views

### Quillen equivalence of diagram categories

Let $C$ be a model category and $B$ a direct category. By Theorem 5.1.3 in Mark Hovey's book Model categories, there is a model category structure on the diagram category $C^B$ such that weak ...

**3**

votes

**1**answer

192 views

### Bousfield localization before and after taking homotopy

The ncatlab says:
Under suitable conditions it should be true that for $C$ a model category whose homotopy category $\mathrm{Ho}(C)$ is a triangulated category the homotopy category of a left ...

**8**

votes

**1**answer

316 views

### Unicity up to homotopy of simplicial enrichments

On the one hand, in their paper Simplicial structures on model categories and functors, Rezk, Schwede and Shipley proved that a simplicial model category structure on a given model category is unique ...

**3**

votes

**0**answers

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

**5**

votes

**2**answers

630 views

### Homotopy limit-colimit diagrams in stable model categories

It is shown in Remark 7.1.12 of (a newer version of) Mark Hovey's book Model Categories that, in a stable model category, homotopy pullback squares coincide with homotopy pushout squares. The argument ...

**4**

votes

**1**answer

234 views

### Is there a class of simplicial sets whose weak homotopy type is preserved by symmetrization?

We have the categories, $S$, of simplicial sets and $SS$, of symmetric simplicial sets (whose simplices are unordered). There are functors:
$H:S\to SS$ forgetting the ordering on simplices and
...

**7**

votes

**0**answers

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

**5**

votes

**0**answers

158 views

### Cellular model structures on continuous functors

The category of enriched functors from finite based CW complexes to based topological spaces
has a projective model structure. The fibrations
are the objectwise Serre fibrations and the weak ...

**6**

votes

**2**answers

409 views

### A category with weak equivalences which is not a model category

I'm only considering complete and cocomplete categories. A pair $(\mathfrak{X} , \mathfrak{W}) $ is, by definition, a category with weak equivalences if $ \mathfrak{X} $ is a category and $ ...

**6**

votes

**5**answers

607 views

### What is a good basic reference on model categories?

I am looking for a general reference text on model categories, that contains all the basic results and definitions. I'm perfectly happy to be pointed towards a textbook, and I'm not looking for ...

**1**

vote

**0**answers

150 views

### Model structure on the category of chain complexes in an abelian category gives rise to the derived category

Let $\mathcal A$ be an abelian category with enough projectives. Consider a morphism $f \colon X^\bullet \longrightarrow Y^\bullet$ in the category $C(\cal A)$ of chain complexes in $\mathcal A$.
Is ...

**5**

votes

**1**answer

293 views

### Homotopy left-exactness of a left derived functor

Let
$$
F: \mathcal{C} \leftrightarrows \mathcal{D} :G
$$
be a Quillen adjunction between model categories. Consider the corresponding adjunction of total derived functors
$$
\mathbb{L}F: ...

**4**

votes

**1**answer

122 views

### Equivariant versus retractive spaces: a reference request

Let $T$ be the category of compactly generated weak Hausdorff spaces with model structure given by Serre fibrations, Serre cofibrations and weak homotopy equivalences. Let $G = |G.|$ be the ...

**3**

votes

**1**answer

168 views

### Directed colimits of maps in a combinatorial model category

I have the following situation. $M$ is a combinatorial model category, or if you like a locally presentable $(\infty,1)$-category. I have a set of maps $S$ and I let $C$ be the class of maps generated ...

**7**

votes

**1**answer

489 views

### Seeking errata for Berger-Moerdijk Axiomatic Homotopy Theory for Operads

The paper I'm referring to can be found here. It came out in 2003. I've been told by professors before that I should be careful relying on things from this paper, because it contained errors.
Is ...

**6**

votes

**2**answers

433 views

### Cofibrant replacements of a given object in a combinatorial model category

In a combinatorial model category, every $\lambda$-filtered colimit is a homotopy colimit for $\lambda$ regular big enough. So for $\lambda$ regular big enough, every $\lambda$-filtered colimit of a ...

**4**

votes

**0**answers

172 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

**2**answers

320 views

### Can one make the category of pairs of topological spaces a model category?

Can you make the category whose objects are pairs of spaces $(X,A)$, and morphisms the obvious diagrams, into a model category? Of course I want this to be done in a meaningful way, that is, agreeing ...

**1**

vote

**1**answer

260 views

### Coequalizer in category of dg-algebras

It is known that there is a model structure on category of dg algebras (non-commutative over arbitrary commutative ring). In particular it is complete and co-complete category. My question is how to ...

**8**

votes

**0**answers

378 views

### The category theory of $(\infty, 1)$-categories

There are many proposed models for the theory of $(\infty, 1)$-categories and it has now been shown that many of these theories have Quillen-equivalent model categories, i.e. that they are equivalent ...

**5**

votes

**2**answers

353 views

### Homotopy excision and homotopy pushout

I have three related questions.
I understand homotopy pushouts via the standard model structure on the diagrams - and taking the derived functor of the pushout.
I'm not sure, but I believe that in ...

**11**

votes

**1**answer

369 views

### Model structure on the category of small $A_\infty$ categories, hocolims.

I strangely could not find a reference for this. What are some (if any) model structures on the category of small $A_{\infty}$ categories, with weak equivalences quasi-equivalences. Same question in ...

**1**

vote

**0**answers

145 views

### Homotopy colimits over a certain subset category.

Hi!
Let $I$ denote all the finite subsets of some set (infinite or finite) S. For each n, let $I_n$ be the subset consisting of objects of cardinality n, so that there are no morphisms between the ...

**14**

votes

**1**answer

689 views

### Homology in the $A_\infty$ World

This question is turning out to be a little long so let me start off with the headline. Given a differential graded algebra $A$, we can recover $A$ from its homology $HA$ if we know "the" ...

**3**

votes

**1**answer

216 views

### About the Cole-Ström model category structure with a locally presentable category

In "Many homotopy categories are homotopy categories" (M. Cole / Topology and its Applications 153 (2006) 1084–1099), Cole generalizes the construction of the model category of Ström to any bicomplete ...

**7**

votes

**3**answers

461 views

### When is the projective model structure cartesian? When is the internal hom invariant?

If M is a sufficiently nice model category and D is a small category then there are two natural model structures we can impose on the functor category $Fun(D,M)$ where the weak equivalences are the ...

**4**

votes

**1**answer

331 views

### When do reflexive coequalizers preserve weak equivalences?

In my work I've run into the following situation. In a model category, I have two reflexive coequalizers $A_i \stackrel{\to}{\to} B_i \to C_i$ and a map of diagrams which is levelwise a weak ...

**4**

votes

**3**answers

446 views

### Monoidal model category structure on a functor category.

Let $A$ be a small simplicial category. The category $Fun(A,s\mathrm{Set})$ of simplicial functors from $A$ to simplicial sets can be given the projective model structure in which fibration and weak ...

**4**

votes

**1**answer

151 views

### Reedy model structures on oplax limits

Suppose $R$ is a category and $F:R\to Cat$ is a functor (or pseudofunctor). The oplax limit of $F$ is the category whose objects consist of an object $x_r \in F(r)$ for all $r$ together with a ...

**11**

votes

**1**answer

377 views

### Model category structures on dga's in a ringed topos

In the introduction to his paper "Towards a non-abelian $p$-adic Hodge theory", Olsson says that for any ringed topos $(\mathcal{T},\mathcal{O})$ with $\mathcal{O}$ a sheaf of $\mathbb{Q}$-algebras, ...

**9**

votes

**1**answer

345 views

### Model for the (infinity,1)-category of functors preserving certain homotopy limits

This question is a follow up to: Model for the (infinity,1)-category of (homotopy-)limit preserving functors.
Warm-up Question: Given a simplicial model category $M$, what model category models ...

**11**

votes

**1**answer

313 views

### Model for the (infinity,1)-category of (homotopy-)limit preserving functors

I've got a simplicial model category $M.$ I'd like to get my hands on the (infinity,1) category of homotopy limit preserving functors from M to Spaces in order to compare it to another simplicial ...

**5**

votes

**1**answer

314 views

### The Quillen model structure on simplicial sets as a Bousfield localization

Starting with the trivial model structure on the category of simplicial sets (that is the weak equivalences are exactly the isomorphisms and the cofibrations and fibrations are arbitrary maps), is it ...

**7**

votes

**0**answers

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

**4**

votes

**2**answers

470 views

### A fibrant-objects structure on Top

(Sorry for the crossposting, but I'm really interested in this question).
One can define (Paragraph 1.5, page 10) a fibrant-object structure on a suitable cartesian closed category of topological ...