4
votes
1answer
223 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
$$
\mathb …
3
votes
1answer
95 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. …
2
votes
1answer
106 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 cla …
4
votes
2answers
234 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$-fil …
7
votes
1answer
301 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 contai …
2
votes
2answers
239 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 wa …
3
votes
0answers
95 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 l …
11
votes
1answer
287 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 …
4
votes
2answers
199 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, bu …
7
votes
0answers
178 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 …
12
votes
1answer
532 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 kn …
7
votes
3answers
228 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 equ …
1
vote
0answers
108 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 morp …
3
votes
1answer
241 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 level …
2
votes
1answer
109 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 …

