Model categories are categories with three distinguished classes of morphisms: the weak equivalences, the fibrations and the cofibrations. They provide a natural setting for (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
0answers
26 views

Correct definition of model category

When answering this question, In a model category, is the full subcategory of fibrant objects a reflective subcategory? I realized that I wasn't even sure what the correct definition of a model ...
0
votes
0answers
23 views

Gluing along infinitely many trivial cofibrations

I am in a situation where I have a space Y obtained from a space X by gluing on infinitely many trivial cells. That is, I have a collection of maps $f_\alpha: A_\alpha \to X$ each of which is a ...
1
vote
0answers
29 views

projective model structure on presheaves , hom-functors are always cofibrant

Why hom-functors are always cofibrant in the projective model structure in $[\cal T,\cal V]$? The claim is here on page 5.
3
votes
1answer
34 views

What are the generating cofibrations of the canonical model structure on Cat?

It sais here that the canonical model structure on $Cat$ is cofibrantly generated. I found out that a generating trivial cofibration is the functor $I:*\rightarrow E $, where $E$ is the category with ...
1
vote
1answer
33 views

Applications of small object argument outside model categories.

Are there applications of the small object argument outside of its original application of constructing the factorisation for a model category?
1
vote
0answers
21 views

Quillen equivalence vs $\infty$-categorical equivalence

It's well known that a simplicial model category presents an $\infty$-category by the homotopy coherent nerve construction. (I am drawing my knowledge and terminology from what little of Lurie's ...
2
votes
0answers
41 views

Relation between homotopy and homology groups of realization of simplicial abelian group

Let $X$ be a simplicial abelian group, $U(X)$ the corresponding simplicial set and $|U(X)|$ its geometric realization (assumed to be path-connected). Then, for $k \geq 1$, how are $\pi_k(|U(X)|)$ and ...
5
votes
2answers
92 views

Where to learn about model categories?

A model category (introduced by Quillen in the sixties) is a category equipped with three distinguished classes of morphisms (weak equivalences, fibrations and cofibrations) satisfying some axioms ...
0
votes
0answers
44 views

Is the unique map $\emptyset\to \Delta^0$ really a horn inclusion? [duplicate]

Is it true that $\emptyset \to \Delta^0$ should be considered a horn inclusion? This seems to imply some terrible things, unless I'm missing something. In particular, it implies that a Kan fibration ...
0
votes
0answers
43 views

Weak equivalence iff isomorphism in homotopy category?

I know that a weak equivalence becomes an isomorphism in the homotopy category but is the opposite direction true? Suppose we have a map $f: C\rightarrow D$ in a model category. If $f$ becomes an ...
1
vote
0answers
35 views

Model category that doesn't admit functorial factorizations?

I guess it's a modern convention that model categories are typically required to have functorial factorizations. In the cofibrantly generated case, the factorizations constructed by the small object ...
3
votes
0answers
76 views

Why is the Quillen model structure so painful to find?

Proving that the category of simplicial sets carries the Quillen model structure is undoubtedly difficult; the book by May and Ponto "A more concise course in algebraic topology" makes a considerable ...
0
votes
0answers
53 views

Limits in a Model Category

I've become interested in how the axioms of a model category have changed, since originally posed by Quillen; in particular, that Quillen only originally required finite limits and colimits, however ...
1
vote
1answer
46 views

Categorical way of making monos commute

Is there a categorical way (in terms of diagrams, limits, lifting properties etc) to formulate the requirement that for every pair of monos $f,g:C \to D$ there should be an endomorphism $h:D \to D$, ...
1
vote
1answer
36 views

Fiber of fibration of simplicial sets

$\require{AMScd}$ If $p:E\to B$ is a fibration of simplicial sets, is the fiber in the model category sense, i.e. the homotopy limit of $$\begin{CD}{} @. E \\@. @VVV \\*@>>> B \end{CD}$$ the ...
1
vote
0answers
34 views

Composition of Dual Maps in (rigid) Monoidal Categories

If $X, Y$ are objects in monoidal category $\mathcal{C}$ which have left duals $X^∗, Y^∗$ and $f : X → Y $ is a morphism in $\mathcal{C}$, then the left dual map $f^∗ : Y^∗ → X^∗$ of $f$ is given by: ...
0
votes
0answers
22 views

Is the category of H-bicomodules within the monoidal category of H-bimodules equivalent to the category of left H-comodules

Fix $\mathbb{k}$ a field. Let $H$ be a $\mathbb{k}$-quasi-bialgebra. Is there an equivalence $ {}_H^H \mathcal{M}_H^H \cong {}^H \mathcal{M}$ where ${}_H^H \mathcal{M}_H^H$ is the category of ...
1
vote
1answer
22 views

Is the homotopy category of modules over a quasi-Frobenius ring (pre)additive?

Let $R$ be a quasi-Frobenius ring and $Mod_R$ the category of $R$-modules. One can prove that it admits a model structure whose weak-equivalences are stable equivalences, whose cofibrations are monos ...
3
votes
0answers
31 views

If weak-equivalences in a model category are generated by an equivalence relation $\sim$ on hom-sets…

Suppose that $C$ is a bicomplete category, and $\sim$ is an equivalence relation defined on every hom-set of $C$, compatible with composition. Then we can define the quotient category $C/\sim$ whose ...
2
votes
0answers
74 views

Is the Quillen Injective Model Structure on the category of positive cochain complexes of R-modules (co)fibrantly generated?

Denoted with $Ch^+_R$ the category of positive cochain complexes of R-modules (for a commutative ring $R$), it admits a model structure where: weak-equivalences are quasi-isomorphisms; cofibrations ...
1
vote
1answer
84 views

Understanding cofibration sequence

Recently I'm studing some basic homotopy theory. An important brick of the exact sequence of cofibration is the following sequence: $$X \stackrel{f}{\longrightarrow} Y \stackrel{i}{\longrightarrow} C ...
3
votes
1answer
50 views

Inclusions of CW-complexes are cofibrations.

Has the inclusion from the $ (n - 1) $-sphere in the $ n $-disc the left lifting property for all acyclic Serre fibrations? I am looking for a reference for this proposition, or alternatively, for an ...
1
vote
0answers
72 views

“Stable model categories are categories of modules” - Clarification about a few things

I was reading Schwede and Shipley's "Stable model categories are categories of modules", I needed clarification about a few things: 1 - When they say that stable model categories are categories of ...
5
votes
1answer
180 views

What does it mean for a category to be “tensored over” another category?

What does it mean for a category to be "tensored over" another category? I was reading "Stable model categories are categories of modules" by Schwede and Shipley ...
1
vote
0answers
31 views

Proof of Quillen's lemma about minimal fibrations

In Hovey's book $\textit{Model categories}$ (available online here http://www.math.rochester.edu/people/faculty/doug/otherpapers/hovey--model-cats.pdf) one finds the classical result that any ...
3
votes
0answers
170 views

A construction with homotopy colimits and homotopy pullbacks for descent.

I have some troubles in trying to give a meaningful interpretation to the following property which is stated in this preprint by professor Rezk (see Definition 6.5) as part of the requirement for a ...
-2
votes
1answer
53 views

Homotopy split monomorphisms [closed]

Let $C$ be a model category. Recall that a morphisme $f : X \to Y$ is called a homotopy monomorphism if the diagonal $X \to X \times^h_Y X$ induces an isomorphism in the homotopy category. Suppose ...
1
vote
0answers
32 views

Criterion for projectively cofibrant diagrams?

Let $\mathbf{D}$ be a small category, $\mathbf{Set}$ the category of sets and $\mathbf{sSet}$ the category of simplicial sets with its usual model structure. The category of functors $\mathbf{D}\to ...
2
votes
1answer
99 views

How was the functorial factorization axiom “frequently misstated”?

In modern times, a model category is frequently required to have functorial factorizations of morphisms into (fibration/acyclic cofibration) and (acyclic fibration/cofibration). But the precise ...
3
votes
0answers
52 views

Derived categories of filtered modules

For a ${\mathbb Z}$-filtered ring ${\mathbb k}$ one can consider the category ${\mathbb k}\text{-filt}$ of ${\mathbb Z}$-filtered ${\mathbb k}$-modules, equipped with the exact structure which ...
3
votes
1answer
48 views

Is the induced map $\varphi$ on the homotopy cofibers null-homotopic in this situation?

Let \begin{eqnarray} X & \xrightarrow{f} & * \\ \downarrow & & \downarrow\\ Y & \xrightarrow{g} & Z \end{eqnarray} be a (strictly) commutative diagram of pointed CW-complexes ...
2
votes
1answer
52 views

small limits in the pointed category of a category with all small limits

In Hovey, Model Categories, he says that given a category $\mathcal{C}$ with a small limits and colimits, if we form the category of pointed objects ,i.e. the category with objects as morphisms ...
1
vote
1answer
42 views

definition of a model category

In Quillen's book ,,Homotopical Algebra" he defines a model category as a category with three types of arrows satyfying some axioms. I have problems with understanding two of them. These axioms says ...
3
votes
1answer
64 views

Homotopy and chain homotopy determine each other

In continuation of this previous question, I'm having problems with the following proposition from Kamps and Porter's Abstract Homotopy and Simple Homotopy Theory: Proposition (3.7). [page 210] ...
1
vote
1answer
146 views

Constructing model category from given category

Given a model category $\mathcal{M}$, Goerss and Hopkins constructed a subcategory (see Structured Ring Spectra, p. 160) $\mathbf{E}$ of $\mathcal{M}$ such that: If $X\in\mathbf{E}$ and $Y$ is ...
11
votes
1answer
488 views

Doubt about proof of factorization $f=pi$, where $i$ is acyclic cofibration and $p$ is fibration

I try to understand a proof in More Concise Algebraic Topology: Localization, completions and model categories by May & Ponto (pdf). The proof is on page 262, and it is for the statement Any ...
4
votes
1answer
72 views

Direct way to show that 2-out-of-6 holds for weak equivalences in a model category?

In a model category, when weak equivalences are inverted, nothing else gets inverted. It follows that weak equivalences satsify 2-out-of-6. But the first sentence takes some work to show. Is there a ...
2
votes
1answer
48 views

Chain complexes as a model category?

I'm reading a paper called Model Categories and Simplicial Methods by Paul Goerss and Kristen Schemmerhorn, and they show that cofibrations have lifting property with respect to acyclic fibrations for ...
2
votes
1answer
164 views

Functorial cofibrant replacement does not have to be fibration?

I'm new to model category theory, and I find myself confused about the different meanings of cofibrant replacement in literature. The usual definition is that we assign to every object $X$ in our ...
1
vote
1answer
50 views

are equivalences in an $(\infty,1)$-category preserved under colimits

Let $C$ be an $(\infty,1)$-category (e.g. quasicategory) having all small colimits. If $f_i:x_i \to y_i$ are equivalences in $C$ indexed by a small set $I$, is $f:=\mathrm{colim}_{i \in I} f_i$ an ...
0
votes
1answer
60 views

Strong (trivial) cofibration in Lurie's HTT

in Lurie's book HTT in annexe A, proof of Proposition A.2.8.2 page 824, he mentions that a map is a "strong (trivial) cofibration" but I didn't succeed to find the definition of this notion that seems ...
3
votes
1answer
113 views

Hurewicz model structure and cofibrantly generated model categories

Is it an open problem if $\mathbf{TOP}$ with Hurewicz (Strøm) model structure is cofibrantly generated?
5
votes
1answer
81 views

Not every over-under-category is cocomplete

Something is wrong between me and Hirschhorn: point 3 of this result (in the book Model categories and their localizations): 7.6.4. Homotopy in undercategories and overcategories. Theorem ...
3
votes
1answer
99 views

Derived categories as homotopy categories of model categories

Given an abelian category A, is there a model structure on the category of complexes C(A) (or K(A) ("classical" homotopy category)) such that its homotopy category "is" the derived category D(A)?
1
vote
0answers
40 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 $ ...
3
votes
0answers
165 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 ...
4
votes
1answer
159 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 ...
7
votes
0answers
128 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 ...
6
votes
2answers
96 views

Duality 2-functor on adjunctions

This question is about the definition of the duality 2-functor in Hovey's book on Model categories, Section 1.4. There he defines the 2-category of categories with adjunctions as follows: objects ...
1
vote
1answer
73 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 ...