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
56 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
151 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
84 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 ...
10
votes
0answers
214 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
70 views

Origins of the name “Q” and “R” for cofibrant and fibrant replacement functors.

In a model category $\mathscr M$ (in the modern sense, i.e. closed and with functorial factorizations), there is a notion of fibrant and cofibrant replacement functors. Specifically, for any object ...
4
votes
0answers
127 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
75 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
52 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
38 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 ...
3
votes
0answers
61 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
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 ...
2
votes
0answers
127 views

Homotopy limits

Let $\mathfrak C$ be a Grothendieck category and let ${\bf D}=\mathrm{D}(\frak C)$ be its derived category, that is, consider the injective model structure on the category $\mathrm{Ch}(\frak C)$ of ...
2
votes
0answers
50 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
85 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 ...
2
votes
0answers
129 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
111 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
21 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
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
0answers
124 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
20 views

Homotopy product

Sorry if this is a trivial question. Let $ \mathfrak{X} $ be a model category such that all objects of $ \mathfrak{X} $ are fibrant. Then we have a total derived functor of the product $ ...
0
votes
0answers
32 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
29 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
15 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 ...