Timeline for "Economic" Eilenberg-MacLane topological abelian groups
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 3, 2017 at 6:37 | comment | added | მამუკა ჯიბლაძე | In other words, $A[X]$ is determined by the following universal property: it is a topological abelian group with a continuous map $i:X\to A[X]$, and for any other continuous map $i':X\to A'$ to a topological abelian group, there is a unique continuous homomorphism $\varphi:A[X]\to A'$ with $i'=\varphi\circ i$. | |
| Mar 3, 2017 at 6:03 | comment | added | მამუკა ჯიბლაძე | Is not this the same as $A[D^n]/A[S^{n-1}]$, where $A[X]$ is $A\otimes\operatorname{SP}^\infty(X)$, where $\operatorname{SP}^\infty$ is the infinite symmetric power? If so, I believe it is not the same as factorization structure. | |
| Mar 3, 2017 at 1:16 | history | answered | Jens Reinhold | CC BY-SA 3.0 |