Skip to content

Commit

Permalink
termwise
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Jan 18, 2023
1 parent bad5f00 commit 4716cd3
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion derived.tex
Expand Up @@ -2527,7 +2527,7 @@ \section{Cones and termwise split sequences}
be a diagram of morphisms of complexes commuting up to homotopy.
If $f$ is a termwise split injection, then $b$ is homotopic to a
morphism which makes the diagram commute.
If $g$ is a split surjection, then $a$ is homotopic to a
If $g$ is a termwise split surjection, then $a$ is homotopic to a
morphism which makes the diagram commute.
\end{lemma}

Expand Down

0 comments on commit 4716cd3

Please sign in to comment.