The tag has no wiki summary.

learn more… | top users | synonyms

3
votes
2answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
2answers
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
2answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
2answers
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
1answer
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
1answer
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
1answer
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
0answers
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
2answers
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
1answer
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
0answers
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
0answers
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
2answers
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
5answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
2answers
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
0answers
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
2answers
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
1answer
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
0answers
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
2answers
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
1answer
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
0answers
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
1answer
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
1answer
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
3answers
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
1answer
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
3answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
2answers
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 ...