13
votes
4answers
341 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
2answers
280 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 ...
4
votes
1answer
178 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
1answer
268 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 ...
1
vote
0answers
56 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 ...
2
votes
0answers
70 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 ...
3
votes
0answers
96 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 ...
2
votes
0answers
101 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
0answers
84 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. ...
6
votes
1answer
212 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 ...
2
votes
0answers
114 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
1answer
158 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 )$? ...
2
votes
1answer
309 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
0answers
132 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 ...
1
vote
0answers
114 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
0answers
153 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, ...
4
votes
1answer
144 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 ...
3
votes
1answer
164 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 ...
3
votes
0answers
151 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
356 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 ...
4
votes
2answers
420 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) ...
8
votes
1answer
278 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 ...
5
votes
0answers
130 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
211 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 ...
3
votes
1answer
182 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
298 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 ...
5
votes
2answers
546 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 ...
5
votes
2answers
384 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
569 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 ...
5
votes
2answers
321 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 ...
1
vote
0answers
141 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 ...
7
votes
3answers
363 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
3answers
423 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 ...
11
votes
1answer
358 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, ...
3
votes
2answers
456 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 ...
1
vote
0answers
306 views

Homotopical Galois theory of coverings

In the hope this won't turn into a trivial problem (I couldn't find a similar discussion here), here's my question. I'm studying a little homotopical algebra in this article by Brown. You can easily ...
6
votes
1answer
219 views

Monoidal Model Categories with Suspension Functor

This is basically just me trying to find out what such categories are called, and where they are written about. If I think of some model category of spectra being a "stabilization" of some model ...
10
votes
2answers
425 views

Fubini theorem for hocolim.

I wanted to ask the following question, Suppose $\mathbf{M}$ a cof generated model category and $I,~J$ two small categories. Suppose that $F:J\rightarrow \mathbf{M}^{\mathrm{I}}$ is a functor. Is it ...
7
votes
1answer
274 views

On the natural (bigraded) homotopy groups of a simplicial object in a model category

$\def\mc{\mathcal} \def\sm{\wedge}$ This question stems from the Goerss-Hopkins paper Moduli Problems for Structured Ring Spectra. Let me begin by attempting to summarize the relevant framework -- ...
7
votes
1answer
324 views

Does the Monoid Axiom hold for k-spaces?

In “Algebras and Modules in Monoidal Model Categories” Schwede and Shipley introduced the monoid axiom. If a cofibrantly generated monoidal model category $M$ satisfies this axiom and some smallness ...
4
votes
2answers
424 views

Topologically enriched homotopy colimits commuting with homotopy pullbacks

Hi, I am looking for an enriched analogon of Proposition 4.4 in https://www.google.de/url?q=http://hopf.math.purdue.edu/Rezk-Schwede-Shipley/simplicial.pdf Concretely, I would like to prove the ...
3
votes
0answers
251 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 ...
5
votes
1answer
571 views

Is there a cheap proof that (homotopy) endomorphisms are functorial?

This is, in some sense, the homotopy version of this question.) If $C$ is a category with $iC$ the subcategory of isomorphisms, there is a functor $X \mapsto End(X)$ from $iC$ to the category of ...
8
votes
1answer
486 views

How many model category structures are there on Top?

I recently started learning a little model category theory and in particular I found this nice exercise. I only know a little topology, but this prompted me to wonder how many model category ...
5
votes
1answer
379 views

Counterexample in cohomology for symmetric spectra?

Symmetric spectra are a particular model for spectra, introduced by Hovey, Shipley and Smith. They have the nice property that they have a well-behaved smash product. Our interest in spectra comes ...
3
votes
2answers
198 views

Free Monoids in Closed Symmetric Monoidal Categories

There appear to be questions perhaps tangentially related to this that have been asked already. If so a reference and a close would be heartily appreciated. Give some category $\mathcal{C}$ with the ...
3
votes
2answers
199 views

Fitting desired weak equivalences and cofibrations into a model category

Suppose I have a category $\mathbf{C}$ and classes of morphisms $\mathcal{W}$ and $\mathcal{C}$, and I would like to know that $\mathcal{W}$ and $\mathcal{C}$ are the weak equivalences and the ...
-1
votes
2answers
591 views

Alternative characterization of homotopy equivalence

Using the formalism of model categories its possible define the concept of homotopy as done here. If we take as model category $\mathbf{Top}$ having homotopy-equivalence as weak-equivalence and ...
8
votes
1answer
495 views

Hovey's unit axiom in monoidal model categories

Let $\mathcal{C}$ be a monoidal model category in the sense of Hovey's book. He assumes the following unit axiom not considered in other references (e.g. Schwede-Shipley): given a cofibrant ...
6
votes
1answer
770 views

Does the right adjoint of a Quillen equivalence preserve homotopy colimits?

Call a diagram $E$ in a model category a homotopy colimit diagram if the morphism $$\mathrm{hocolim}~E\to \mathrm{colim}~ E$$ is a weak equivalence. A homotopy colimit is defined as the categorical ...