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, Ch. II, §4] asserts that the following data define a model structure on $\mathcal{M}$: The weak equivalences are the quasi-isomorphisms (= homology isomorphisms). The cofibrations are the monomorphisms […]

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 definitions are not precisely correct: The category of simplicial sets is a cofibrantly generated model category with generating acyclic cofibrations the inclusions of […]

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 map $f:X\to Y$ factors as the composite of an acyclic cofibration and a fibration The authors proceed as follows. Let $Z_0=X$ […]

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 $M^\bullet$? Thinking about algebraic topology (a circle and an annulus) I was thinking of tensoring $M^\bullet$ by $R$ (over $R$!) but this is […]

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 finite limits and finite colimits. The two factorisation systems are now required to be functorial. These changes do make the two definitions genuinely different, since […]

Intereting Posts

homotopic maps from the sphere to the sphere
Prove that the product of four consecutive positive integers plus one is a perfect square
If $x^{2}-x\in Z(R)$ for all $x\in R$, then $R$ is commutative.
Upper bound number of distinct prime factors
Prove $\left(\frac{2}{5}\right)^{\frac{2}{5}}<\ln{2}$
Every subsequence of $x_n$ has a further subsequence which converges to $x$.Then the sequence $x_n$ converges to $x$.
Book for Algebraic Topology- Spanier vs Tom Dieck
Strictly convex sets
A proof that $C$ is separable
What is a Theta Function?
Are Lie algebras $u_n$ and $su_n$ simple?
Show that $\int_0^\infty \frac{x\log(1+x^2)}{e^{2\pi x}+1}dx=\frac{19}{24} – \frac{23}{24}\log 2 – \frac12\log A$
Does the equality $1+2+3+… = -\frac{1}{12}$ lead to a contradiction?
Locus using Euclidean geometry
Let $a,b \in \mathbb{Q^{+}}$ then $\sqrt{a} + \sqrt{b} \in \mathbb{Q} $ iff $\sqrt{a} \in \mathbb{Q}$ and $\sqrt{b} \in \mathbb{Q}$