Model categories are categories with three distinguished classes of morphisms: the weak equivalences, the fibrations and the cofibrations. They provide a natural setting for [tag:homotopy-theory] in an arbitrary category, by mimicking the usual properties of (co)fibrations and weak equivalences in ...

learn more… | top users | synonyms

1
vote
2answers
47 views

Right homotopic maps iff chain homotopic

Assume the model structure on $Ch(R)$ (chain complexes of left modules over the ring $R$) in which fibrations are dimensionwise epimorphisms (i.e. surjections) and weak equivalences are homology ...
5
votes
1answer
143 views

Homotopic maps in a directed system induce homotopic maps on colimit?

Let $(A_i,f_i)$ be a directed system of CW-complexes with colimit $A$. Further, let $g_i:A_i\to A_{i+1}$ be maps such that $g_{i+1}f_i=f_{i+1}g_i$ and $f_i\simeq g_i$. This might or might not be the ...
4
votes
1answer
77 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 ...
8
votes
0answers
190 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 ...
6
votes
0answers
76 views

The projective model structure on chain complexes

Let $\mathcal{A}$ be an abelian category with enough projective objects and let $\mathcal{M}$ be the category of chain complexes in $\mathcal{A}$ concentrated in non-negative degrees. Quillen [1967, ...
4
votes
0answers
71 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}$, ...
4
votes
0answers
124 views

A model structure on $\bf Cat$

Define a model structure on $\bf Cat$ by the following rules: A weak equivalence is an equivalence of categories; A cofibration is a functor which is injective on objects; A fibration is a functor ...
4
votes
0answers
66 views

In a model category, is the full subcategory of fibrant objects a reflective subcategory?

I apologize in advance if my question is utterly stupid, but I can't resist asking it. So... Is it true that in a model category ( - for example $\mbox{Set}_\Delta$ with the Joyal model structure - ) ...
3
votes
0answers
46 views

Can injective and projective model structures be the same ?

Is there a non trivial example where injective and projective model structures coincide ? By non trivial I mean an example of a functor category on a non discrete base category where I guess ...
3
votes
0answers
40 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 ...
3
votes
0answers
75 views

Are pulation squares “weak equivalences”?

Let $\cal C$ a category where a square is a pullback if and only if it is a pushout. Is there a model structure on $\cal C^\to$ (the category of arrows of $\cal C$) where the class of weak ...
3
votes
0answers
103 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 ...
2
votes
0answers
32 views

Coherence between lifts in a model category

I'm afraid that my question won't be specific but I can edit it depending on the reactions I will get. In a functor category $[\mathcal{C},\mathcal{D}]$ (typically a presheaves category) with a model ...
2
votes
0answers
44 views

The stable category of modules over quasi-Frobenius ring as a homotopy category

I'm studying homotopical algebra and I'm trying to prove the following fact: If $R$ is a quasi-Frobenius ring (for $R$-modules one has "projective module$\iff$ injective module") then the stable ...
2
votes
0answers
78 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
31 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
74 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 ...
2
votes
0answers
112 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 ...
2
votes
0answers
104 views

left inverse to trivial fibration is trivial cofibration

It is claimed that in the model category of simplicial sets (with usual model structure), a trivial fibration $X \to Y$ has a section, which is a trivial cofibration. Now, I see that there is a ...
1
vote
0answers
19 views

Explicit fibrant replacement

Do you know an explicit fibrant replacement in the injective model structure on a functor category (I'm essentially interested in the case of presheaves of groupoids) ? Best
1
vote
0answers
13 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
0answers
111 views

Homotopy pullback square implies weak equivalence of homotopy fibres

I am quite confused about the following situation: suppose that we have a map $f \colon X \to Y$. Its homotopy fibre is defined as the pullback of the following of diagram: \begin{matrix} Ff & ...
0
votes
0answers
18 views

Cofibrantly generated categories, cardinals, and the Thomason model structure on $\mathbf{Cat}$.

When reading up the general theory of cofibrantly generated model categories, anything related to the small object argument relies on the choice of some cardinal $\lambda$. I.e. we need ...
0
votes
0answers
14 views

Generalized Reedy model structure

If $\mathcal{R}$ is a generalized Reedy category in the sense of Berger-Moerdijk, one can endow the fonctor category $[\mathcal{R},\mathcal{C}]$ with the generalized Reedy model structure. When is it ...
0
votes
0answers
12 views

minimal fibrations and diagonals

In the Quillen model structure on simplicial sets, if $f:X\to Y$ is a minimal fibration, is the diagonal $\delta:X\to X\times_Y X$ a fibration? Is a fibration $f$ minimal if the diagonal $\delta$ a ...