Commit b0471cb5 by Leonard Guetta

### a little modification

parent 6c252796
 ... @@ -2031,7 +2031,7 @@ homotopy type of the torus. ... @@ -2031,7 +2031,7 @@ homotopy type of the torus. $1$\nbd{}category, it is \good{} (Theorem \ref{thm:categoriesaregood}), which $1$\nbd{}category, it is \good{} (Theorem \ref{thm:categoriesaregood}), which means that the right vertical arrow is an isomorphism. The $1$\nbd{}category means that the right vertical arrow is an isomorphism. The $1$\nbd{}category $B^1(\mathbb{N}\times \mathbb{N})$ is not free but since it has the homotopy $B^1(\mathbb{N}\times \mathbb{N})$ is not free but since it has the homotopy type of the torus, we have $H^{\sing}_k(B^1(\mathbb{N}\times \mathbb{N}))=0=H_k^{\pol}(B^1(\mathbb{N}\times \mathbb{N}))$ type of the torus, we have $H^{\sing}_k(B^1(\mathbb{N}\times \mathbb{N}))=0=H_k^{\pol}(B^1(\mathbb{N}\times \mathbb{N}))$ for $k\geq 2$ and it follows then from Corollary \ref{cor:polhmlgycofibrant} for $k\geq 2$ and it follows then from Corollary \ref{cor:polhmlgycofibrant} and Paragraph \ref{paragr:polhmlgylowdimension} that the map canonical map and Paragraph \ref{paragr:polhmlgylowdimension} that the map canonical map \[ \[ ... ...
No preview for this file type
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment