Timeline for For a universal covering morphism $p:E\rightarrow B$, how to prove $E$ connected implies $B$ connected?
Current License: CC BY-SA 3.0
10 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
Jul 4, 2016 at 8:39 | vote | accept | Arrow | ||
Jul 4, 2016 at 8:39 | vote | accept | Arrow | ||
Jul 4, 2016 at 8:39 | |||||
Jun 18, 2016 at 16:25 | vote | accept | Arrow | ||
Jul 4, 2016 at 8:39 | |||||
Jun 18, 2016 at 13:03 | answer | added | Todd Trimble | timeline score: 2 | |
Jun 18, 2016 at 10:43 | answer | added | Arrow | timeline score: 2 | |
Jun 16, 2016 at 20:56 | comment | added | Arrow | @FernandoMuro yes, but the analogue for categories of the for $\mathsf{Fam}(\mathsf A)$ is merely that if $E$ is connected then $\mathsf{Hom}(E,-)$ preserves coproducts, i.e the arrow $p:E\rightarrow B$ corresponds to an arrow $p:E\rightarrow B_i$ for $B_i$ some connected component of $B$. How to deduce $B$ must be connected from this? | |
Jun 16, 2016 at 20:54 | comment | added | Fernando Muro | In topology, the image of a connected space by a continuous map is connected. | |
Jun 16, 2016 at 20:47 | history | edited | Arrow | CC BY-SA 3.0 |
added 614 characters in body
|
Jun 16, 2016 at 20:39 | history | asked | Arrow | CC BY-SA 3.0 |