2
votes
0answers
16 views

Internal additions in additive categories agree with given ones

I know that if $\mathcal C$ is a semiadditive category, then for every two objects $A$, $B$, the set $\mathrm{Hom}_\mathcal{C} (A, B)$ is automatically endowed with a structure of commutative monoid, ...
6
votes
1answer
136 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, ...
1
vote
1answer
135 views

What's stronger: projective or locally free? flat or locally free?

maybe that's an idiot question, however I did not found anything related in the classical references. It's know that a finitely generated projective $A$-module $M$ is locally free ,since each ...
1
vote
1answer
156 views

Every chain complex is quasi-isomorphic to a $\mathcal J$-complex

I found this in "Algebra & Topology" by Schapira, but I'm not able to prove it: Suppose $\mathcal J$ is a cogenerating family in an abelian category $\mathbf A$. Then for any positive complex ...