4
votes
1answer
64 views

Homological algebra (homotopical approach)

I have gone through a couple of courses in homological algebra, in the context of derived functors, abelian categories,... Now I would like to watch it from another perspective: my main interest is ...
1
vote
1answer
62 views

Inequivalent Model Categories

A Model Category is, informally, a category where a "reasonable" notion of homotopy can be developed. I'm curious to know when two model categories are considered equivalent to each other. Thanks for ...
3
votes
1answer
57 views

Question on the uniqueness of a homotopy colimit up to unique isomorphism

Let me first give an abstract definition of the homotopy colimit. Let $C$ be a cofibrantly generated model category and let $D$ be a small category. There is an adjunction $$ ...
3
votes
0answers
56 views

Injective model structure

I equip the category of presheaves $[\mathcal{D}^{op},\text{Gpd}]$ with the injective model structure ($\mathcal{D}$ is just any small category). In this structure, weak equivalences and cofibrations ...
4
votes
1answer
82 views

Model structure on sSet

Which is the model structure on $ \text{sSet} $ (category of simplicial sets) that makes $\text{sSet}$ Quillen equivalent to the category $ \text{Cat} $ (of small categories) by the adjunction ...
2
votes
0answers
84 views

coproduct of base and fiber is weakly equivalent to total space of a fibration in stable model category

Let $C$ be a proper pointed model category such that for any $X, Y \in C$ the natural morphisms $$QX \coprod QY \to X \coprod Y \to RX \times RY$$ are all weak equivalences (here $Q $ and $R$ are ...
2
votes
0answers
33 views

2 out of 3 axiom and simplicial sets

Let $i\colon\mathcal W\to\mathcal C$ be the inclusion of a subcategory. Unless I'm mistaken, the 2 out of 3 axiom for $\mathcal W$ to be a category of weak equivalences can be expressed as the ...
2
votes
0answers
85 views

Are cofibrant/fibrant replacements homotopically unique?

Let $\mathcal{M}$ be a model category in the old sense, i.e. with factorisations that are not necessarily functorial, and let $X$ be an object in $\mathcal{M}$. The category of cofibrant replacements ...
4
votes
1answer
105 views

The two-sided simplicial bar construction is Reedy-cofibrant

Let $\mathcal{M}$ be a simplicial model category and let $\mathbb{C}$ be a small category. For a diagram $F : \mathbb{C} \to \mathcal{M}$ and a weight $G : \mathbb{C}^\mathrm{op} \to \mathbf{sSet}$, ...
1
vote
0answers
15 views

Homotopy equivalence of C-modules

A topological leftmodule $_CX$ is a topological functor $C \to Top$ for a Category $C$. A morphism $_CX \to _CY$ of leftmodules is a natural transformation of functors. Now such a morphism is called ...
1
vote
1answer
68 views

Question about Lemma 7.7.1 from Hirschhorn's Model Categories and Their Localizations

The Lemma states the following. Let M be a model category. If $g:X\rightarrow Y$ is a weak equivalence between cofibrant objects in M, then there is a functorial factorization of $g$ as $g=ji$ where ...
5
votes
3answers
207 views

Cylinder object in the model category of chain complexes

Let $\text{Ch}⁺(R)$ be the category of non-negative chain complexes of $R$-modules where $R$ is a commutative ring. What is a cylinder object, in the sense of model categories, for a given complex ...
10
votes
0answers
211 views

Closed model categories in the sense of Quillen [1969] vs the modern sense

The modern definition of (closed) model category differs in two ways from Quillen's 1969 definition: Model categories are now required to be complete and cocomplete, whereas Quillen only asked for ...
4
votes
2answers
133 views

The empty set in homotopy theoretic terms (as a simplicial set/top. space)

I am currently confused about the empty set in terms of its path components and how this fits into the Quillen adjunction between topological spaces and simplicial sets. Probably, one of my ...
3
votes
0answers
104 views

A fibrant-objects structure on $\bf Top$

One can define (Paragraph 1.5, page 10) a fibrant-object structure on a suitable cartesian closed category of topological spaces $\bf Top$, called the $\pi_0$-fibrant structure: A ...
1
vote
1answer
215 views

Why does the definition of homotopy cartesian involve factorisations

Setup: A diagram $$\require{AMScd} \begin{CD} X @>>> Y\\ @VVV @VV{f}V\\ U @>>> V \end{CD}$$ in a (proper) model category is called homotopy cartesian if there exists a ...
3
votes
1answer
103 views

Contractible homotopy fibre for CW complexes, categorial construction of the homotopy inverse

Let $f:X\to Y$ be a map of topological spaces. Assume further that the homotopy fibre is contractible. We get a long exact sequence on the homotopy groups and if $X$ and $Y$ are connected $f$ is a ...
3
votes
2answers
235 views

Kan fibrations and surjectivity

I have a basic question on the usual model structure on simplicial sets. What is the relation between being a Kan (trivial maybe ?) fibration and surjectivity ? Surjectivity here means either ...
4
votes
1answer
161 views

Do we implicitly consider model categories to be locally small?

Do we implicitly consider model categories to be locally small? I have the impression (but am not sure) that many references on model categories assume that all the categories are locally small, but ...
2
votes
0answers
125 views

How are injective model structures cofibrantly generated?

I have a question about the injective model structure on functor categories. As background : If $\mathcal{M}$ is a combinatorial model category and $\mathcal{C}$ is a small category, then there are ...
4
votes
1answer
169 views

The Notion of “A Homotopy Theory”

Sometimes (specifically in this case I'm looking at Charles Rezk's "A Model for the Homotopy Theory of Homotopy Theory") it seems that people refer to the homotopy category of a model category as a ...