Timeline for Embedding Theorem for topological spaces, and in general
Current License: CC BY-SA 3.0
15 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 27, 2017 at 18:25 | answer | added | Joshua Meyers | timeline score: 0 | |
| S Apr 24, 2015 at 12:20 | history | suggested | Hachino |
Changed tag-removed for more approriate tags.
|
|
| Apr 24, 2015 at 12:00 | review | Suggested edits | |||
| S Apr 24, 2015 at 12:20 | |||||
| May 29, 2013 at 4:50 | vote | accept | Yuri Sulyma | ||
| May 27, 2013 at 18:42 | comment | added | Yuri Sulyma | @Qiaochu: theorems of the first form. @Zhen: I'm quoting the introduction of Johnstone's Topos Theory; it seems to be a typo. | |
| May 26, 2013 at 11:19 | answer | added | The User | timeline score: 2 | |
| May 26, 2013 at 10:50 | comment | added | Zhen Lin | It's not true that every topos can be embedded in a boolean one – that would imply every topos is boolean! Rather, every topos can be covered by a boolean one. | |
| May 26, 2013 at 10:25 | comment | added | André Henriques | I think this question should be Community Wiki. | |
| May 26, 2013 at 10:20 | history | edited | Joseph Van Name |
edited tags
|
|
| May 26, 2013 at 9:49 | answer | added | Joseph Van Name | timeline score: 7 | |
| May 26, 2013 at 5:07 | answer | added | Todd Trimble | timeline score: 2 | |
| May 26, 2013 at 4:54 | comment | added | jbc | The concept of universal space is possibly what you are looking for. $X$ is universal for a class of topological space if each of them embeds into it as a clossed subspace. This plays an important role, particularly in descriptive topology. As a starting point you could consult "Analytic sets" by C.A. Rogers (ed.) for the following important universal spaces---countable products of the closed unit interval (already mentioned), the integers (i.e., the irrationals), the two point space (the Cantor set) and the real line. | |
| May 26, 2013 at 4:40 | comment | added | Qiaochu Yuan | One theorem of the first form is "every second-countable Tychonoff space embeds into $[0, 1]^{\mathbb{N}}$." | |
| May 26, 2013 at 4:38 | comment | added | Qiaochu Yuan | Are you asking for theorems of the form "every nice topological space embeds into some even nicer topological space" or for theorems of the form "every nice subcategory of $\text{Top}$ embeds into some even nicer category"? | |
| May 26, 2013 at 4:33 | history | asked | Yuri Sulyma | CC BY-SA 3.0 |