Skip to content

Commit

Permalink
objects should be morphisms
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Aug 29, 2016
1 parent 2a06295 commit cbee2d1
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion etale-cohomology.tex
Original file line number Diff line number Diff line change
Expand Up @@ -13682,7 +13682,8 @@ \section{Derived categories}
To set up notation, let $\mathcal{A}$ be an abelian category. Let
$\text{Comp}(\mathcal{A})$ be the abelian category of complexes in
$\mathcal{A}$. Let $K(\mathcal{A})$ be the category of complexes up to
homotopy, with objects equal to complexes in $\mathcal{A}$ and objects equal to
homotopy, with objects equal to complexes in $\mathcal{A}$ and morphisms
equal to
homotopy classes of morphisms of complexes. This is not an abelian category.
Loosely speaking, $D(A)$ is defined to be the category obtained by inverting
all quasi-isomorphisms in $\text{Comp}(\mathcal{A})$ or, equivalently, in
Expand Down

0 comments on commit cbee2d1

Please sign in to comment.