equal
deleted
inserted
replaced
219 |
219 |
220 \nn{need to prove a version where $E$ above has dimension $m<n$; result is an $n{-}m$-category} |
220 \nn{need to prove a version where $E$ above has dimension $m<n$; result is an $n{-}m$-category} |
221 |
221 |
222 \medskip |
222 \medskip |
223 |
223 |
|
224 \todo{rephrase this} |
224 \begin{cor} |
225 \begin{cor} |
225 \label{cor:new-old} |
226 \label{cor:new-old} |
226 The new-fangled and old-fashioned blob complexes are homotopic. |
227 The new-fangled and old-fashioned blob complexes are homotopic. |
227 \end{cor} |
228 \end{cor} |
228 \begin{proof} |
229 \begin{proof} |