equal
deleted
inserted
replaced
49 between $f$ and $f'$. |
49 between $f$ and $f'$. |
50 Thus $\Compat(D^\bullet_*)$ is 0-connected. |
50 Thus $\Compat(D^\bullet_*)$ is 0-connected. |
51 Similarly, if $D^{kj}_*$ is $(k{+}i)$-acyclic then we can show that $\Compat(D^\bullet_*)$ is $i$-connected. |
51 Similarly, if $D^{kj}_*$ is $(k{+}i)$-acyclic then we can show that $\Compat(D^\bullet_*)$ is $i$-connected. |
52 \end{proof} |
52 \end{proof} |
53 |
53 |
54 \nn{do we also need some version of ``backwards" acyclic models? probably} |
|