4
votes
2answers
294 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 cate …
6
votes
5answers
422 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 n …
4
votes
1answer
247 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 …
1
vote
0answers
100 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 i …
4
votes
1answer
103 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. …
4
votes
2answers
285 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 …
2
votes
1answer
116 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 …
7
votes
1answer
318 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
247 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 …
11
votes
1answer
289 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
212 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 …
3
votes
0answers
101 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 …
12
votes
1answer
542 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
0answers
196 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 …
7
votes
3answers
245 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 …

